ACM SIGMOD Anthology TKDE dblp.uni-trier.de

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