Keyphrases
- code generation
- theorem prover
- application development
- software development
- modeling language
- code generator
- natural deduction
- model driven
- formal specification
- software reuse
- rapid prototyping
- first order logic
- case study
- design patterns
- open source
- artificial intelligence
- inference rules
- learning processes
- data processing
- software engineering
- end users
- high level