Designs are expressed in terms of structure, behavior, objects, modules, and functions which, once consolidated, become design blueprints. This paper describes a formal framework for expressing, analyzing, and comparing multiple views of designs. The analysis of multiple designs or views using different design notations is proposed as a strategy to enhance design quality by providing a systematic identification of design defects and discrepancies. Views are formalized, analyzed independently, and then compared to each other. The type of design discrepancies identified are omission of information, incompatible information, and inconsistencies between views.
|Number of pages||23|
|Journal||International Journal of Software Engineering and Knowledge Engineering|
|Publication status||Published - Oct 1 2000|
ASJC Scopus subject areas
- Computer Networks and Communications
- Computer Graphics and Computer-Aided Design
- Artificial Intelligence