Keyphrases
- formal specification
- object oriented design
- specification language
- model checking
- specification languages
- reverse engineering
- concurrent systems
- process algebra
- data abstraction
- knowledge representation
- knowledge base
- domain ontology
- domain knowledge
- semantic web
- formal methods
- expert systems
- business rules
- software components
- building blocks
- artificial intelligence
- grid workflow