An incremental verification framework for component-based software systems.
Kenneth JohnsonRadu CalinescuShinji KikuchiPublished in: CBSE (2013)
Keyphrases
- software systems
- software engineering
- source code
- software architecture
- software maintenance
- software development
- software design
- design patterns
- functional requirements
- software evolution
- machine learning
- software testing
- component based software
- model checking
- database
- reverse engineering
- formal methods
- software quality
- development process
- software developers
- metamodel
- multi agent
- decision making
- information systems
- databases