Keyphrases
- specification language
- symbolic execution
- programming language
- formal specification
- description language
- requirements specification
- source code
- software environment
- high level
- multi agent
- data structure
- general purpose
- databases
- orders of magnitude
- constraint satisfaction problems
- software systems
- fine grained
- data warehouse
- database systems
- case study