A formal framework to support the analysis of multiple views at the design stage with the purpose to detect design discrepancies is described. First, each view is formalized, independently analyzed, that is, each formalized view is checked for validity contain any undefined entities). Then, the multiple view analysis framework is used to compare two abstract views, and to identify discrepancies between them. The type of design discrepancies identified were omission of information, incompatible information, and inconsistencies between views.
|Number of pages||3|
|Publication status||Published - 1996|
ASJC Scopus subject areas
- Computer Science(all)