Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-87405-8_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1502748188
@@ Property / OpenAlex ID: W1502748188 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Verifying Model Transformations
@@ Property / cites work: Towards Verifying Model Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Bisimulation verification using the up to techniques
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
+Normal rank
@@ Property / cites work @@
+Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3540403