Combining Graph Transformation and Algebraic Specification into Model Transformation (Q2890331): Difference between revisions

@@ Property / cites work @@
+Q4255593
@@ Property / cites work: Q4255593 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining Termination Criteria by Isolating Deletion
+Normal rank
@@ Property / cites work @@
+An algebraic semantics for MOF
@@ Property / cites work: An algebraic semantics for MOF / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Q3396638
@@ Property / cites work: Q3396638 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4438777
@@ Property / cites work: Q4438777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph transformation units with interleaving semantics
+Normal rank
@@ Property / cites work @@
+Diagrammatic Representation and Inference
@@ Property / cites work: Diagrammatic Representation and Inference / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837998
@@ Property / cites work: Q3837998 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Years of Triple Graph Grammars
@@ Property / cites work: 15 Years of Triple Graph Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+The model transformation language of the VIATRA2 framework
+Normal rank