Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations

BIB
Hendrik Radke and Thorsten Arendt and Jan Steffen Becker and Annegret Habel and Grabriele Taentzer
Graph Transformations (ICGT 2015)
2015
inproceedings
Lecture Notes in Computer Science
155-170
9151