Keyphrases
- maximum likelihood
- development process
- rapid prototyping
- delay insensitive
- formal specification
- functional requirements
- high level
- reactive systems
- code generation
- concurrent systems
- specification language
- conceptual models
- written in natural language
- transition systems
- operational semantics
- control flow
- data mining
- software engineering
- case study
- e learning
- machine learning