Towards Domain Refinement for UML/OCL Bounded Verification.
Robert ClarisóCarlos A. GonzálezJordi CabotPublished in: SEFM (2015)
Keyphrases
- uml class diagrams
- metamodel
- class diagrams
- uml diagrams
- modeling language
- software engineering
- sequence diagrams
- database design
- conceptual models
- software systems
- domain ontology
- domain independent
- tool support
- constraint language
- class diagram
- model driven engineering
- model driven
- software design
- database systems
- domain specific
- expert systems