Keyphrases
- specification language
- formal specification
- programming language
- description language
- symbolic execution
- domain knowledge
- domain ontology
- software environment
- domain specific
- requirements specification
- knowledge representation
- semantic web
- knowledge base
- semantic information
- semantic annotation
- life cycle
- high level
- orders of magnitude
- distributed systems
- model checker
- state space
- evolutionary algorithm
- workflow models