Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs.

@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}
}

Abstract

Copyright © 1997 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

References

[1]

...

[2]

James F. Allen: Towards a General Theory of Action and Time. Artif. Intell. 23(2): 123-154(1984)

[3]

...

[4]

...

[5]

...

[6]

Walling R. Cyre: Toward Synthesis from English Descriptions. DAC 1989: 742-745

[7]

...

[8]

Walling R. Cyre: Conceptual Representation of Waveforms for Temporal Reasoning. IEEE Trans. Computers 43(2): 186-200(1994)

[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

[11]

...

[12]

...

[13]

John J. Granacki Jr., Alice C. Parker: PHRAN-SPAN: A Natural Language Interface for System Specifications. DAC 1987: 416-422

[14]

...

[15]

...

[16]

...

[17]

...

[18]

...

[19]

...

[20]

...

[21]

...

[22]

...

[23]

James L. Peterson: Petri Nets. ACM Comput. Surv. 9(3): 223-252(1977)

[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)

[28]

John F. Sowa: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley 1984, ISBN 0-201-14472-7

[29]

...

[30]

...

[31]

...

[32]

...