Multiple view analysis of designs

Boumediene Belkhouche; Cuauhtemoc Lemus Olalde

doi:10.1145/243327.243637

Multiple view analysis of designs

Boumediene Belkhouche
, Cuauhtemoc Lemus Olalde

Research output: Contribution to conference › Paper › peer-review

3 Citations (Scopus)

Abstract

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 language	English
Pages	159-161
Number of pages	3
DOIs	https://doi.org/10.1145/243327.243637
Publication status	Published - 1996
Externally published	Yes

ASJC Scopus subject areas

General Computer Science

Access to Document

10.1145/243327.243637

Cite this

@conference{f08ba93824e04d5cab692370b34dfe83,

title = "Multiple view analysis of designs",

abstract = "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.",

author = "Boumediene Belkhouche and Olalde, \{Cuauhtemoc Lemus\}",

year = "1996",

doi = "10.1145/243327.243637",

language = "English",

pages = "159--161",

}

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 - https://www.scopus.com/pages/publications/0030415746

UR - https://www.scopus.com/pages/publications/0030415746#tab=citedBy

U2 - 10.1145/243327.243637

DO - 10.1145/243327.243637

M3 - Paper

AN - SCOPUS:0030415746

SP - 159

EP - 161

ER -

Multiple view analysis of designs

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this