Name
Abstract | ||
|---|---|---|
As a complex software system evolves, its implementation tends to diverge from the intended or documented design models. Such undesirable deviation makes the system hard to understand, modify and maintain. This paper presents a hybrid computer-assisted approach for confirming that the implementation of a system maintains its expected design models and rules. Our approach closely integrates logic-based static analysis and dynamic visualization, providing multiple code views and perspectives. We show that the hybrid technique helps determine design-implementation congruence at various levels of abstraction: concrete rules like coding guidelines, architectural models like design patterns or connectors, and subjective design principles like low coupling and high cohesion. The utility of our approach has been demonstrated in the development of /spl mu/Choices, a new multimedia operating system which inherits many design decisions and guidelines learned from experience in the construction and maintenance of its predecessor, Choices. |
Year | DOI | Venue |
|---|---|---|
1996 | 10.1109/ICSE.1996.493433 | ICSE |
Keywords | Field | DocType |
conformance testing,monitoring,multimedia computing,operating systems (computers),software engineering,μChoices,abstraction levels,architectural models,coding guidelines,complex software system evolution,concrete rules,connectors,design patterns,design-implementation congruence,documented design models,dynamic visualization,high cohesion,high-level design models,hybrid computer-assisted approach,implementation divergence,logic-based static analysis,low coupling,multimedia operating system,multiple code view,software system compliance monitoring,subjective design principles | High-level design,Systems engineering,Software engineering,Cohesion (computer science),Visualization,Computer science,Static analysis,Software design pattern,Real-time computing,Software system,Conformance testing,Coupling (computer programming) | Conference |
ISSN | ISBN | Citations |
0270-5257 | 0-8186-7246-3 | 79 |
PageRank | References | Authors |
6.90 | 13 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mohlalefi Sefika | 1 | 79 | 6.90 |
| Aamod Sane | 2 | 115 | 12.68 |
| Roy Campbell | 3 | 5133 | 573.61 |