Keyphrases
- formal specification
- tool support
- model checking
- specification languages
- software development
- software tools
- object oriented design
- software engineering
- specification language
- process algebra
- reverse engineering
- software projects
- design decisions
- data abstraction
- formal methods
- concurrent systems
- software components
- test suite
- requirements engineering
- artificial intelligence
- object oriented
- databases