Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.
Richard BubelFerruccio DamianiReiner HähnleEinar Broch JohnsenOlaf OweIna SchaeferIngrid Chieh YuPublished in: LNCS Trans. Found. Mastering Chang. (2016)
Keyphrases
- software systems
- source code
- software engineering
- maintenance activities
- software repositories
- software development
- software maintenance
- software architecture
- software components
- software artifacts
- software design
- high assurance
- software developers
- software engineers
- open source
- software quality
- software projects
- multi agent systems
- design patterns
- functional requirements
- model checking
- software evolution
- complex software systems
- linux kernel
- metamodel
- software testing
- software metrics
- clone detection
- component based software
- autonomic systems
- software intensive systems
- software requirements
- database
- program understanding
- object oriented systems
- open source projects
- formal methods
- development process
- multi agent
- high level
- artificial intelligence