UML/OCL and Refinement.
Mohamed Tahar BhiriMourad KmimechMohamed GraietPhilippe AniortéPublished in: ECBS (2011)
Keyphrases
- uml diagrams
- uml class diagrams
- metamodel
- modeling language
- sequence diagrams
- class diagram
- constraint language
- software design
- class diagrams
- tool support
- unified modeling language
- object oriented
- software systems
- design patterns
- software engineers
- data model
- database design
- test cases
- uml profile
- xml schema
- life cycle
- software engineering
- database systems
- software tools
- activity diagrams
- refinement process
- requirements analysis
- neural network
- black box
- petri net
- description logics
- case study