Modeling and enforcing invariants of dynamic software architectures.
Slim KallelMohamed Hadj KacemMohamed JmaielPublished in: Softw. Syst. Model. (2012)
Keyphrases
- software architecture
- product line
- software engineering
- distributed systems
- dynamic environments
- design patterns
- reference model
- description language
- databases
- information systems
- architectural design
- security requirements
- dynamic aspects
- embedded software
- functional requirements
- modeling language
- software development
- cooperative
- decision making
- artificial intelligence