A platform for research: civil engineering, architecture and urbanism
A platform for research: civil engineering, architecture and urbanism
This paper describes our experience using parameterized algebraic specifications to model properties of software architectures. The goal is to model the decomposition of requirements independent of the style used to implement the architecture. We begin by providing an overview of the role of architecture specification in software development. We then describe how architecture specifications are build up from component and connector specifications and give an overview of insights gained from a case study used to validate the method.
This paper describes our experience using parameterized algebraic specifications to model properties of software architectures. The goal is to model the decomposition of requirements independent of the style used to implement the architecture. We begin by providing an overview of the role of architecture specification in software development. We then describe how architecture specifications are build up from component and connector specifications and give an overview of insights gained from a case study used to validate the method.
Compositional Specification of Software Architecture
J. Penix (author)
1998
4 pages
Report
No indication
English
Compositional Specification of Software Architecture
| NTRS | 1998
CNS-1 architecture specification
| TIBKAT | 1993
Specification of the SicAri architecture
| DataCite | 2004