Model Validation and Verification Options in a Contemporary UML and OCL Analysis Tool.
Martin GogollaFrank HilkenPublished in: Modellierung (2016)
Keyphrases
- analysis tool
- model validation
- uml class diagrams
- uml diagrams
- metamodel
- modeling language
- sequence diagrams
- class diagram
- software design
- constraint language
- class diagrams
- tool support
- formal methods
- unified modeling language
- model checking
- object oriented
- model driven
- black box
- face verification
- uml profile
- software engineering
- software development
- life cycle
- asynchronous circuits
- description logics
- test cases
- software systems
- database design
- formal verification
- signature verification
- design patterns
- regression testing
- verification method
- development process
- software engineers
- activity diagrams
- petri net
- software artifacts
- data model