TY - CONF
T1 - Multiple view analysis of designs
AU - Belkhouche, Boumediene
AU - Olalde, Cuauhtemoc Lemus
PY - 1996
Y1 - 1996
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=0030415746&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0030415746&partnerID=8YFLogxK
U2 - 10.1145/243327.243637
DO - 10.1145/243327.243637
M3 - Paper
AN - SCOPUS:0030415746
SP - 159
EP - 161
ER -