UMLtoCSP

swMATH11377MaRDI QIDQ23323FDOQ23323

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: UMLtoCSP