Abstract | ||
---|---|---|
During design formulation, designs are subjected to an evaluation and verificationprocess, the goal of which is the detection of design errors. The analysis of differentdesigns or "views" using different design notations has been proposed to achieve thisgoal. The formal support for the use of multiple views at the design stage with the purposeto detect design discrepancies has been provided by the static analysis techniquecalled abstract interpretation, as the analysis environment. Each... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1145/243327.243637 | ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops |
Keywords | DocType | ISBN |
multiple view analysis,multiple views,design analysis,formal design representation,static analysis | Conference | 0-89791-867-3 |
Citations | PageRank | References |
7 | 1.06 | 5 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Boumediene Belkhouche | 1 | 55 | 17.44 |
Cuauhtémoc Lemus Olalde | 2 | 13 | 2.33 |