Keyphrases
- formal specification
- formal language
- requirements specification
- high level
- operational semantics
- formal methods
- low level
- higher level
- object level
- lower level
- software systems
- reactive systems
- mathematical theory
- data sets
- hidden markov models
- natural language
- data structure
- decision making
- genetic algorithm
- neural network