Keyphrases
- software systems
- database systems
- concurrency control
- database design
- metamodel
- modeling language
- unified modeling language
- uml class diagrams
- software engineering
- class diagrams
- uml models
- conceptual modeling
- state machine
- sequence diagrams
- object oriented
- object oriented modeling
- class diagram
- software architecture
- uml activity diagrams
- regression testing
- conceptual models
- object oriented languages
- dynamic allocation
- formal methods
- transaction processing
- software development
- testing process
- concurrent execution
- uml profile
- high level programming languages