On the Specification and Verification of Model Transformations (Q3184747): Difference between revisions

@@ Property / author @@
-Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
-Normal rank
@@ Property / author @@
+Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-04164-8_8
+Normal rank
@@ Property / OpenAlex ID @@
+W1603406363
@@ Property / OpenAlex ID: W1603406363 / rank @@
+Normal rank
@@ Property / cites work @@
+What Is a Multi-modeling Language?
@@ Property / cites work: What Is a Multi-modeling Language? / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+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 @@
+Pattern-Based Model-to-Model Transformation
@@ Property / cites work: Pattern-Based Model-to-Model Transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4713364
@@ Property / cites work: Q4713364 / 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 @@
+Q3751030
@@ Property / cites work: Q3751030 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Q3719824
@@ Property / cites work: Q3719824 / rank @@
+Normal rank
@@ Property / cites work @@
+Stabilization, safety, and security of distributed systems. 11th international symposium, SSS 2009, Lyon, France, November 3--6, 2009. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness of high-level transformation systems relative to nested conditions
+Normal rank
@@ Property / cites work @@
+Q4222796
@@ Property / cites work: Q4222796 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph-based specification of access control policies
+Normal rank
@@ Property / cites work @@
+Q3204056
@@ Property / cites work: Q3204056 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributed Graph Constraints
@@ Property / cites work: Attributed Graph Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Graph Constraints
@@ Property / cites work: A Logic of Graph Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation
+Normal rank
@@ Property / cites work @@
+Resolution-Like Theorem Proving for High-Level Conditions
+Normal rank
@@ Property / cites work @@
+Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3184747