Keyphrases
- modeling language
- unified modeling language
- software systems
- class diagrams
- sequence diagrams
- uml models
- conceptual modeling
- metamodel
- database design
- uml profile
- object oriented modeling
- databases
- state machine
- object oriented
- uml activity diagrams
- formal methods
- class diagram
- uml class diagrams
- uml diagrams
- test set
- software development
- object oriented analysis and design
- massachusetts institute of technology
- specification language
- software architecture
- software engineering
- tool support
- regression testing
- open source
- web services
- real time
- conceptual models
- life cycle
- reverse engineering