Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
2000 | 10.1142/S021819400000033X | INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING |
Keywords | Field | DocType |
design analysis, formal design representation, multiple views, abstract interpretation | Data mining,Notation,Engineering drawing,Systems engineering,Computer science,Abstract interpretation,Blueprint,Software,Design analysis,System model | Journal |
Volume | Issue | ISSN |
10 | 5 | 0218-1940 |
Citations | PageRank | References |
4 | 0.57 | 7 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Boumediene Belkhouche | 1 | 55 | 17.44 |
| Cuauhtémoc Lemus Olalde | 2 | 13 | 2.33 |