Keyphrases
- formal specification
- object oriented systems
- object oriented design
- software maintenance
- object oriented
- reverse engineering
- specification languages
- software engineering
- model checking
- source code
- process algebra
- software systems
- specification language
- test case generation
- data abstraction
- concurrent systems
- software components
- databases
- formal methods
- model checker
- cooperative