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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-21145-9_10
+Normal rank
@@ Property / OpenAlex ID @@
+W997242481
@@ Property / OpenAlex ID: W997242481 / rank @@
+Normal rank