Application of Formal Methods to the Development of a Software Maintenance Tool.
Sandrine BlazyPhilippe FaconPublished in: ASE (1997)
Keyphrases
- software maintenance
- formal methods
- software engineering
- development lifecycle
- knowledge based systems
- safety critical
- software development and maintenance
- software life cycle
- software systems
- reverse engineering
- software development
- artificial intelligence
- development process
- expert systems
- maintenance activities
- software evolution
- legacy software systems
- program understanding
- open source projects
- software engineers
- source code
- knowledge management
- open source
- cooperative