Quality Improvement of Conceptual UML and OCL Schemata through Model Validation and Verification.
Martin GogollaKhanh-Hoang DoanPublished in: Conceptual Modeling Perspectives (2017)
Keyphrases
- quality improvement
- model validation
- uml diagrams
- uml class diagrams
- metamodel
- modeling language
- sequence diagrams
- constraint language
- formal methods
- tool support
- class diagram
- software design
- quality assurance
- conceptual models
- industrial processes
- quality control
- model checking
- software development
- object oriented
- software systems
- software engineers
- petri net
- design patterns
- product quality
- entity relationship
- software engineering
- data model
- relational databases
- artificial intelligence
- case study
- database systems
- multi agent systems
- life cycle