A Three-level Formal Model for Software Architecture Evolution.
Abderrahman MokniMarianne HuchardChristelle UrtadoSylvain VauttierHuaxi (Yulin) ZhangPublished in: SATToSE (2014)
Keyphrases
- formal model
- software architecture
- software evolution
- description language
- software systems
- software engineering
- change impact analysis
- distributed systems
- architectural design
- formal models
- reference model
- functional requirements
- design patterns
- embedded software
- software development
- security requirements
- predicate calculus
- reinforcement learning
- quality attributes
- object oriented
- source code
- reference architecture
- commercial off the shelf
- database