Reasoning about Software Architectures with Contractually Specified Components.
Ralf H. ReussnerIman PoernomoHeinz W. SchmidtPublished in: Component-Based Software Quality (2003)
Keyphrases
- software architecture
- design patterns
- description language
- commercial off the shelf
- software development
- embedded software
- architectural design
- machine learning
- software components
- distributed systems
- security requirements
- software engineering
- software systems
- building blocks
- reference model
- qualitative reasoning
- functional requirements
- formal theory
- quality attributes
- product line
- multi agent systems
- reference architecture
- neural network