Keyphrases
- description language
- software architecture
- specification language
- modeling language
- unified modeling language
- uml models
- metamodel
- sequence diagrams
- uml diagrams
- software systems
- model driven engineering
- software engineering
- formal methods
- object oriented
- description languages
- software design
- distributed systems
- machine learning
- information retrieval
- artificial intelligence
- real world
- case study
- database design
- design process
- source code