Graph Transformations

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 A Graph-Based Design Framework for Services
3. Altmetric Badge
   Chapter 2 Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems
4. Altmetric Badge
   Chapter 3 Completeness-Driven Development
5. Altmetric Badge
   Chapter 4 Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models
6. Altmetric Badge
   Chapter 5 Pattern-Based Graph Abstraction
7. Altmetric Badge
   Chapter 6 Well-Structured Graph Transformation Systems with Negative Application Conditions
8. Altmetric Badge
   Chapter 7 Parallelism and Concurrency of Stochastic Graph Transformations
9. Altmetric Badge
   Chapter 8 Refined Graph Rewriting in Span-Categories
10. Altmetric Badge
    Chapter 9 Borrowed Contexts for Attributed Graphs
11. Altmetric Badge
    Chapter 10 Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars
12. Altmetric Badge
    Chapter 11 Graph Transformation with Focus on Incident Edges
13. Altmetric Badge
    Chapter 12 Rational Term Rewriting Revisited: Decidability and Confluence
14. Altmetric Badge
    Chapter 13 A General Attribution Concept for Models in ${\cal M}$ -Adhesive Transformation Systems
15. Altmetric Badge
    Chapter 14 DPO Transformation with Open Maps
16. Altmetric Badge
    Chapter 15 $\mathcal M, \mathcal N$ -Adhesive Transformation Systems
17. Altmetric Badge
    Chapter 16 Generalised Compositionality in Graph Transformation
18. Altmetric Badge
    Chapter 17 Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking
19. Altmetric Badge
    Chapter 18 Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking
20. Altmetric Badge
    Chapter 19 Testing against Visual Contracts: Model-Based Coverage
21. Altmetric Badge
    Chapter 20 A Truly Concurrent Semantics for the $\mathbb{K}$ Framework Based on Graph Transformations
22. Altmetric Badge
    Chapter 21 Probabilistic Graph Transformation Systems
23. Altmetric Badge
    Chapter 22 Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution
24. Altmetric Badge
    Chapter 23 Graph Transformations for Evolving Domain Knowledge
25. Altmetric Badge
    Chapter 24 Construction of Integrity Preserving Triple Graph Grammars
26. Altmetric Badge
    Chapter 25 Applying Incremental Graph Transformation to Existing Models in Relational Databases
27. Altmetric Badge
    Chapter 26 Incremental Pattern Matching for the Efficient Computation of Transitive Closure
28. Altmetric Badge
    Chapter 27 Efficient Model Synchronization with Precedence Triple Graph Grammars
29. Altmetric Badge
    Chapter 28 ICGT 2012 Doctoral Symposium
30. Altmetric Badge
    Chapter 29 Multi-scale Rule-Based Graph Transformation Using the Programming Language XL
31. Altmetric Badge
    Chapter 30 Verification of Graph Programs
32. Altmetric Badge
    Chapter 31 Specification and Verification of Modal Properties for Structured Systems