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