Using OCL and UML to Specify System Behavior.
Shane SendallAlfred StrohmeierPublished in: Object Modeling with the OCL (2002)
Keyphrases
- life cycle
- metamodel
- formal methods
- neural network
- relational databases
- real time
- uml class diagrams
- tool support
- unified modeling language
- modeling language
- sequence diagrams
- data sets
- software systems
- conceptual modeling
- software architecture
- uml models
- databases
- class diagrams
- constraint language
- test cases
- human behavior
- software design
- object oriented
- uml diagrams
- behavior patterns
- software development
- database design
- class diagram