A formal approach to the specification and transformation of constraints in MDE (Q444494): Difference between revisions

@@ Property / cites work @@
+Q4850062
@@ Property / cites work: Q4850062 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for MOF
@@ Property / cites work: An algebraic semantics for MOF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435867
@@ Property / cites work: Q4435867 / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern-Based Model-to-Model Transformation
@@ Property / cites work: Pattern-Based Model-to-Model Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4435354
@@ Property / cites work: Q4435354 / rank @@
+Normal rank
@@ Property / cites work @@
+A Diagrammatic Logic for Object-Oriented Visual Modeling
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / 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 @@
+Q5475622
@@ Property / cites work: Q5475622 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized sketches as a framework for completeness theorems. I-III
+Normal rank
@@ Property / cites work @@
+Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
+Normal rank
@@ Property / cites work @@
+Reasoning with graph constraints
@@ Property / cites work: Reasoning with graph constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+A formalisation of the copy-modify-merge approach to version control in MDE
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737292
@@ Property / cites work: Q4737292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753895
@@ Property / cites work: Q2753895 / rank @@
+Normal rank