Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution
From MaRDI portal
Publication:2918993
DOI10.1007/978-3-642-33654-6_22zbMath1367.68154OpenAlexW1864557617MaRDI QIDQ2918993
Florian Mantz, Yngve Lamo, Gabriele Taentzer
Publication date: 2 October 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-33654-6_22
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Characterizing Conflicts Between Rule Application and Rule Evolution in Graph Transformation Systems ⋮ Towards the flexible reuse of model transformations: a formal approach based on graph transformation
This page was built for publication: Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution