ESEC
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. In this paper we demonstrate how static concurrency analysis techniques can be used to verify application-specific properties of an architecture description. Specifically...
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
Software architectures shift developers’ focus from lines-of-code to coarser-grained architectural elements and their interconnection structure. Architecture description language...
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
The decomposition of a software application into components and connectors at the design stage has been promoted as a way to describe and reason about complex software architecture...
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....
ESEC
1997
Springer
14 years 3 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...