Verification of Recovered Software Architectures.
Gerald C. GannodShilpa MurthyPublished in: IWPC (2003)
Keyphrases
- software architecture
- description language
- software engineering
- reference model
- embedded software
- distributed systems
- software systems
- product line
- functional requirements
- software development
- model checking
- reference architecture
- architectural design
- design patterns
- formal verification
- software evolution
- reinforcement learning
- face verification
- cooperative
- development process
- dynamic environments
- low cost
- machine learning
- dynamic reconfiguration