A formal approach to perfective software maintenance: System integration using a basis of formal object-oriented components.
David RinePublished in: J. Syst. Integr. (1992)
Keyphrases
- software maintenance
- object oriented
- reverse engineering
- object oriented systems
- software engineering
- open source projects
- software systems
- maintenance activities
- regression testing
- software development and maintenance
- source code
- software development
- software evolution
- formal specification
- mathematical theory
- software projects
- software architecture
- np hard
- data model
- software artifacts
- program understanding
- multi agent
- software life cycle
- information systems