HOL-OCL: A Formal Proof Environment for UML/OCL.
Achim D. BruckerBurkhart WolffPublished in: FASE (2008)
Keyphrases
- formal proof
- metamodel
- uml class diagrams
- uml diagrams
- constraint language
- modeling language
- theorem prover
- tool support
- software design
- sequence diagrams
- class diagrams
- unified modeling language
- class diagram
- formal methods
- software engineering
- uml profile
- design patterns
- development process
- software systems
- black box
- real time
- integrity constraints
- test cases
- object oriented
- mobile robot
- data model
- theorem proving
- constraint networks
- software engineers
- requirements engineering
- life cycle
- petri net