Capture, integration, and analysis of digital system requirements with conceptual graphs
- 1 January 1997
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Knowledge and Data Engineering
- Vol. 9 (1) , 8-23
- https://doi.org/10.1109/69.567041
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- STATEMATE: a working environment for the development of complex reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Visual feedback for validation of informal specificationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Mapping design knowledge from multiple representationsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Conceptual representation of waveforms for temporal reasoningIEEE Transactions on Computers, 1994
- REASONING WITH GRAPH OPERATIONSPublished by Elsevier ,1991
- SpecCharts : A Language for System Level SynthesisPublished by Elsevier ,1991
- Toward synthesis from English descriptionsPublished by Association for Computing Machinery (ACM) ,1989
- PHRAN-SPAN: a natural language interface for system specificationsPublished by Association for Computing Machinery (ACM) ,1987
- Implementing a semantic interpreter using conceptual graphsIBM Journal of Research and Development, 1986
- Towards a general theory of action and timeArtificial Intelligence, 1984