Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs.
Walling R. Cyre:
Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs.
IEEE Trans. Knowl. Data Eng. 9(1): 8-23(1997)@article{DBLP:journals/tkde/Cyre97,
author = {Walling R. Cyre},
title = {Capture, Integration, and Analysis of Digital System Requirements
with Conceptual Graphs},
journal = {IEEE Trans. Knowl. Data Eng.},
volume = {9},
number = {1},
year = {1997},
pages = {8-23},
ee = {db/journals/tkde/Cyre97.html},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
Copyright © 1997 by The Institute of
Electrical and Electronic Engineers, Inc. (IEEE).
Abstract used with permission.
BibTeX
References
- [1]
- ...
- [2]
- James F. Allen:
Towards a General Theory of Action and Time.
Artif. Intell. 23(2): 123-154(1984) BibTeX
- [3]
- ...
- [4]
- ...
- [5]
- ...
- [6]
- Walling R. Cyre:
Toward Synthesis from English Descriptions.
DAC 1989: 742-745 BibTeX
- [7]
- ...
- [8]
- Walling R. Cyre:
Conceptual Representation of Waveforms for Temporal Reasoning.
IEEE Trans. Computers 43(2): 186-200(1994) BibTeX
- [9]
- ...
- [10]
- David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring:
STATEMATE; A Working Environment for the Development of Complex Reactive Systems.
ICSE 1988: 396-406 BibTeX
- [11]
- ...
- [12]
- ...
- [13]
- John J. Granacki Jr., Alice C. Parker:
PHRAN-SPAN: A Natural Language Interface for System Specifications.
DAC 1987: 416-422 BibTeX
- [14]
- ...
- [15]
- ...
- [16]
- ...
- [17]
- ...
- [18]
- ...
- [19]
- ...
- [20]
- ...
- [21]
- ...
- [22]
- ...
- [23]
- James L. Peterson:
Petri Nets.
ACM Comput. Surv. 9(3): 223-252(1977) BibTeX
- [24]
- ...
- [25]
- ...
- [26]
- ...
- [27]
- John F. Sowa, Eileen C. Way:
Implementing a Semantic Interpreter Using Conceptual Graphs.
IBM Journal of Research and Development 30(1): 57-69(1986) BibTeX
- [28]
- John F. Sowa:
Conceptual Structures: Information Processing in Mind and Machine.
Addison-Wesley 1984, ISBN 0-201-14472-7
BibTeX
- [29]
- ...
- [30]
- ...
- [31]
- ...
- [32]
- ...
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:28:43 2009