Keyphrases
- specification language
- design rationale
- semi automatic
- formal specification
- programming language
- description language
- modeling language
- formal semantics
- software application
- development process
- software environment
- metamodel
- database
- formal representation
- software components
- design patterns
- data model
- expert systems
- web services
- real world