Visual feedback for validation of informal specifications
- 17 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
In automatically synthesizing simulation models from informal specifications, the ambiguity of natural language (English) leads to multiple interpretations The authors report on a system, called the Model Generator, which provides visual feedback showing the interpretation of specification statements that have been automatically translated to a knowledge representation called conceptual graphs. The visual feedback is based on a combination of block diagrams and Petri net graphs Author(s) Thakar, A. Intel Corp., Chandler, AZ, USA Cyre, W.Keywords
This publication has 3 references indexed in Scilit:
- Integrating specification requirements for automated interpretationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Graph drawing by force‐directed placementSoftware: Practice and Experience, 1991
- Petri NetsACM Computing Surveys, 1977