Combining Graph Transformation and Algebraic Specification into Model Transformation
From MaRDI portal
Publication:2890331
DOI10.1007/978-3-642-28412-0_13zbMath1312.68144MaRDI QIDQ2890331
Sabine Kuske, Hans-Joerg Kreowski, Caroline von Totth
Publication date: 8 June 2012
Published in: Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28412-0_13
Uses Software
Cites Work
- An algebraic semantics for MOF
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Graph transformation units with interleaving semantics
- The model transformation language of the VIATRA2 framework
- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
- 15 Years of Triple Graph Grammars
- Handbook of Graph Grammars and Computing by Graph Transformation
- Combining Termination Criteria by Isolating Deletion
- Fundamental Approaches to Software Engineering
- Diagrammatic Representation and Inference
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item