9 search results - page 1 / 2 » esec 1997 |
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
ESEC
1997
Springer
13 years 11 months ago
1997
Springer
ESEC
1997
Springer
13 years 11 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
13 years 11 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
13 years 11 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...