Application of formal specification to software maintenance.
Neel MadhavSriram SankarPublished in: ICSM (1990)
Keyphrases
- software maintenance
- formal specification
- reverse engineering
- software systems
- object oriented design
- data abstraction
- specification language
- software engineering
- model checking
- source code
- formal methods
- software evolution
- artificial intelligence
- software projects
- software development
- open source
- open source projects
- object oriented