| 1 | -- | 2 | Mark Minas. Preface |
| 3 | -- | 16 | Maria Encarnación Beato Gutiérrez, Manuel Barrio-Solórzano, Carlos Enrique Cuesta Quintero, Pablo de la Fuente. UML Automatic Verification Tool with Formal Methods |
| 17 | -- | 33 | Paul Ziemann, Karsten Hölscher, Martin Gogolla. From UML Models to Graph Transformation Systems |
| 35 | -- | 52 | Harald Störrle. Semantics and Verification of Data Flow in UML 2.0 Activities |
| 53 | -- | 69 | Andrew Fish, Jean Flower. Investigating Reasoning with Constraint Diagrams |
| 71 | -- | 86 | Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer. Termination of High-Level Replacement Units with Application to Model Transformation |
| 87 | -- | 105 | Michael Ebert, Georg Struth. Diagram Chase in Relational System Development |
| 107 | -- | 125 | Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese. Towards Syntax-Aware Editors for Visual Languages |
| 127 | -- | 143 | Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer. Towards Graph Transformation Based Generation of Visual Editors Using Eclipse |
| 145 | -- | 162 | Juan de Lara. ::::Distributed Event Graphs::::: Formalizing Component-based Modelling and Simulation |