Component-Oriented Verification of Software Architectures through Built-in Tests.
Colin AtkinsonPublished in: ECSA (2008)
Keyphrases
- software architecture
- distributed systems
- description language
- software engineering
- software systems
- test generation
- architectural design
- model checking
- functional requirements
- software components
- face verification
- embedded software
- product line
- reference model
- software development
- verification method
- software evolution
- oriented programming