Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.
Xinyu FengZhong ShaoYu GuoYuan DongPublished in: VSTTE (2008)
Keyphrases
- software systems
- domain specific
- software engineering
- source code
- software development
- software design
- software components
- software maintenance
- software developers
- multi agent systems
- metamodel
- software architecture
- software evolution
- general purpose
- functional requirements
- linux kernel
- multi agent
- object oriented systems
- software intensive systems
- emergent behavior
- complex software systems
- web services
- software repositories
- software projects
- black box
- test cases
- case study