Keyphrases
- software systems
- modeling language
- conceptual modeling
- sequence diagrams
- uml models
- object oriented
- database design
- software engineering
- object oriented modeling
- metamodel
- formal methods
- class diagrams
- unified modeling language
- uml profile
- class diagram
- model driven engineering
- specification language
- uml class diagrams
- state machine
- tool support
- software architecture
- software development
- activity diagrams
- uml diagrams
- regression testing
- databases
- object oriented analysis and design
- artificial intelligence
- real world