Keyphrases
- specification language
- class diagram
- formal specification
- object oriented
- conceptual models
- modeling language
- formal methods
- uml models
- delay insensitive
- database
- data sets
- test cases
- metamodel
- object oriented modeling
- class diagrams
- requirements specification
- software engineering
- automatically generating
- generation process
- software systems
- conceptual modeling
- software development
- control flow
- state machine
- uml class diagrams
- software architecture
- learning environment
- unified modeling language
- finite state machines
- development process
- black box