Keyphrases
- formal specification
- specification language
- formal specification language
- specification languages
- model checking
- object oriented design
- process algebra
- formal methods
- reverse engineering
- software components
- data abstraction
- concurrent systems
- web services
- databases
- software systems
- cooperative
- database systems
- high level
- machine learning