Vol. 30 (2010): Graph and Model Transformation 2010

DOI: https://doi.org/10.14279/tuj.eceasst.30

Published: 2010-11-08

Articles

From Graph Transformations to Differential Equations

Mayur Bapodra, Reiko Heckel
- PDF
Position Paper: Formal Methods in Agile Development

Michael Löwe
- PDF
Towards Theorem Proving Graph Grammars using Event-B

Leila Ribeiro, Fernando Dotti, Simone da Costa, Fabiane Dillenburg
- PDF
Test-driven Language Derivation with Graph Transformation-Based Dynamic Meta Modeling

Gregor Engels, Christian Soltenborn
- PDF
Formal Modeling of Communication Platforms using Reconfigurable Algebraic High-Level Nets

Tony Modica, Kathrin Hoffmann
- PDF
Specification and Verification of Model Transformations

Frank Hermann, Mathias Hülsbusch, Barbara König
- PDF
Graph Modelling and Transformation: Theory meets Practice

Claudia Ermel, Karsten Ehrig
- PDF
A Note on Causalities in Reaction Systems

Robert Brijder, Andrzej Ehrenfeucht, Grzegorz Rozenberg
- PDF
Modeling a Service and Session Calculus with Hierarchical Graph Transformation

Roberto Bruni, Andrea Corradini, Ugo Montanari
- PDF
Position Statement: Models in Software and Systems Development

Bernd Mahr
- PDF
Expressiveness of graph conditions with variables

Annegret Habel, Hendrik Radke
- PDF
From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement

Hartmut Ehrig
- PDF
Second-Order Value Numbering

Tiziana Margaria, Bernhard Steffen, Christian Topnik
- PDF
Stepping from Graph Transformation Units to Model Transformation Units

Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth
- PDF
A Termination Criterion for Graph Transformations with Negative Application Conditions

Paolo Bottoni, Francesco Parisi Presicce
- PDF
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification

Björn Bartels, Sabine Glesner, Thomas Göthel
- PDF
Symbolic Attributed Graphs for Attributed Graph Transformation

Fernando Orejas, Leen Lambers
- PDF
What Algebraic Graph Transformations Can Do For Model Transformations

Gabriele Taentzer
- PDF

Preface

International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface

Claudia Ermel, Hartmut Ehrig, Fernando Orejas, Gabriele Taentzer
- PDF