A Formal Approach for Software Maintenance.
Umer WaqarFerhat KhendekDaniel VincentPublished in: ICSM (2002)
Keyphrases
- software maintenance
- reverse engineering
- software systems
- maintenance activities
- software development and maintenance
- source code
- regression testing
- software evolution
- software engineering
- program comprehension
- software engineers
- software development
- open source projects
- object oriented systems
- software life cycle
- program understanding
- formal specification
- effort estimation
- relational databases
- high level
- software projects
- object oriented