Keyphrases
- formal specification
- model checking
- specification languages
- specification language
- object oriented design
- concurrent systems
- formal methods
- process algebra
- reverse engineering
- design methodology
- software components
- formal specification language
- informal learning
- knowledge base
- artificial intelligence
- semantic data models
- real world
- user defined
- business processes
- object oriented
- web services