Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations.
Autor: | Radke, Hendrik, Arendt, Thorsten, Becker, Jan Steffen, Habel, Annegret, Taentzer, Gabriele |
---|---|
Zdroj: | Graph Transformation (9783319211442); 2015, p155-170, 16p |
Databáze: | Complementary Index |
Externí odkaz: |