Maintenance of Formal Software Developments by Stratified Verification.
Serge AutexierDieter HutterPublished in: LPAR (2002)
Keyphrases
- formal methods
- software maintenance
- maintenance activities
- software systems
- software evolution
- formal analysis
- computer systems
- software package
- software life cycle
- legacy systems
- software tools
- software development
- formal model
- model checking
- source code
- formal specification
- software architecture
- tool support
- data sets
- software components
- expert systems
- open standards
- preventive maintenance
- verification method
- database