Graph transformation for software engineers

Front Matter ....Pages I-XX
Front Matter ....Pages 1-3
 Graphs for Modelling and Specification  (Reiko Heckel, Gabriele Taentzer)....Pages 5-29
 Graph Transformation Concepts  (Reiko Heckel, Gabriele Taentzer)....Pages 31-66
 Beyond Individual Rules: Usage Scenarios and Control Structures  (Reiko Heckel, Gabriele Taentzer)....Pages 67-85
 Analysis and Improvement of Graph Transformation Systems  (Reiko Heckel, Gabriele Taentzer)....Pages 87-127
Front Matter ....Pages 129-134
 Detecting Inconsistent Requirements in a Use-Case-Driven Approach  (Reiko Heckel, Gabriele Taentzer)....Pages 135-150
 Service Specification and Matching  (Reiko Heckel, Gabriele Taentzer)....Pages 151-166
 Model-Based Testing  (Reiko Heckel, Gabriele Taentzer)....Pages 167-180
 Reverse Engineering: Inferring Visual Contracts from Java Programs  (Reiko Heckel, Gabriele Taentzer)....Pages 181-196
 Stochastic Analysis of Dynamic Software Architectures  (Reiko Heckel, Gabriele Taentzer)....Pages 197-214
 Advanced Modelling-Language Definition:Integrating Metamodelling with Graph Transformation  (Reiko Heckel, Gabriele Taentzer)....Pages 215-238
 Improving Models and Understanding Model Changes  (Reiko Heckel, Gabriele Taentzer)....Pages 239-261
 Translating and Synchronising Models  (Reiko Heckel, Gabriele Taentzer)....Pages 263-284
Back Matter ....Pages 285-309