Keyphrases
- specification language
- class diagram
- conceptual models
- formal specification
- uml models
- object oriented
- written in natural language
- unified modeling language
- class diagrams
- database design
- delay insensitive
- requirements specification
- metamodel
- software development
- programming language
- formal methods
- conceptual modeling
- state machine
- uml class diagrams
- software systems
- software engineering
- finite state machines
- uml profile
- high level
- object oriented modeling
- functional requirements
- uml diagrams
- control flow
- databases
- description language
- description logics
- learning environment
- information systems