Compositional Verification of Middleware-Based Software Architecture Descriptions.
Mauro CaporuscioPaola InverardiPatrizio PelliccionePublished in: ICSE (2004)
Keyphrases
- software architecture
- distributed systems
- description language
- embedded software
- software engineering
- reference model
- software development
- model checking
- architectural design
- software systems
- design patterns
- software evolution
- functional requirements
- object oriented software
- software requirements
- software design
- autonomous agents
- high level
- quality attributes
- information systems
- reference architecture
- dynamic reconfiguration
- machine learning
- data sets