UMLtoCSP

MaRDI QIDQ23323swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1321737

Cited in

(6)

• A framework for model transformation verification
• Translating essential OCL invariants to nested graph constraints focusing on set operations
• From Core OCL invariants to nested graph constraints
• HOL-OCL
• Henshin
• UML2Alloy

This page was built for software: UMLtoCSP