Multiple view analysis of designs

Boumediene Belkhouche, Cuauhtemoc Lemus Olalde

Research output: Contribution to conferencePaperpeer-review

3 Citations (Scopus)


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.

Original languageEnglish
Number of pages3
Publication statusPublished - 1996
Externally publishedYes

ASJC Scopus subject areas

  • General Computer Science


Dive into the research topics of 'Multiple view analysis of designs'. Together they form a unique fingerprint.

Cite this