Model Analysis in a Model Development Environment
1987) Model Analysis in a Model Development Environment. Technical Report TR-87-29, Computer Science, Virginia Polytechnic Institute and State University. (
The Model Analyzer is a utility that renders automated and semi-automated support of the model development process. A prototype of this tool, demonstrating the capability for diagnostic analysis of non-executable model representations, is described from both a user and designer perspective. Key concepts affecting design decisions are discussed in the context of an underlying theory of model representation an analysis. The importance of world-view-independent model representation is stressed as a precursor to the early employment of model diagnosis and analysis. An example serves to illustrate the capability of the current prototype and the importance of the design concepts and the UNIX, utilities yacc and lex in the Analyzer development.
|Item Type:||Departmental Technical Report|
|Subjects:||Computer Science > Historical Collection(Till Dec 2001)|
|Deposited By:||User autouser|
|Deposited On:||10 December 2005|