Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations (Q2947219): Difference between revisions

@@ Property / cites work @@
+From Core OCL Invariants to Nested Graph Constraints
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Translating Essential OCL Invariants to Nested Graph Constraints Focusing on Set Operations
+Normal rank
@@ Property / cites work @@
+Q3416072
@@ Property / cites work: Q3416072 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic graphs for attributed graph constraints
@@ Property / cites work: Symbolic graphs for attributed graph constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Hoare-Style Verification of Graph Programs
@@ Property / cites work: Hoare-Style Verification of Graph Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Development of Correct Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Tableau-Based Reasoning for Graph Properties
@@ Property / cites work: Tableau-Based Reasoning for Graph Properties / rank @@
+Normal rank