Keyphrases
- specification language
- operational semantics
- formal specification
- description language
- programming language
- formal semantics
- data model
- software environment
- mental states
- model theoretic
- denotational semantics
- activity diagrams
- requirements specification
- database
- intelligent systems
- software architecture
- orders of magnitude
- dynamic environments
- state space
- mobile robot