Keyphrases
- tool suite
- formal methods
- decision support
- interactive systems
- ims qti
- high level
- formal specification
- code generation
- educational modeling languages
- database
- practical reasoning
- modelling language
- man machine
- specification language
- user friendly
- data model
- information systems
- artificial intelligence
- neural network
- data sets