Keyphrases
- formal specification
- object oriented design
- specification languages
- specification language
- model checking
- software components
- software reuse
- process algebra
- design methodology
- formal methods
- concurrent systems
- reverse engineering
- learning objects
- software design
- database
- query language
- artificial intelligence
- software testing
- high level
- building blocks
- software development
- object oriented