1 | -- | 15 | . GRACE as a unifying approach to graph-transformation-based specification |
16 | -- | 27 | Francesco Parisi-Presicce. On Modifying High Level Replacement Systems |
28 | -- | 40 | Gabriele Taentzer. Towards Common Exchange Formats for Graphs and Graph Transformation Systems |
41 | -- | 51 | Reiko Heckel, Albert Zündorf. How to Specify a Graph Transformation Approach - A Meta Model for Fujaba |
52 | -- | 66 | Claudia Ermel, Roswitha Bardohl, Julia Padberg. Visual Design of Software Architecture and Evolution based on Graph Transformation |
67 | -- | 79 | Mark Minas, Berthold Hoffmann. Specifying and Implementing Visual Process Modeling Languages with DiaGen |
80 | -- | 92 | Martin Große-Rhode. Formal Concepts for an Integrated Internal Model of the UML |
93 | -- | 106 | Andy Schürr. Adding Graph Transformation Concepts to UML s Constraint Language OCL |
107 | -- | 119 | Luciano Baresi, Mauro Pezzè. Improving UML with Petri nets |
120 | -- | 139 | Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber. The Petri Net Baukasten - Second Installment |
140 | -- | 162 | Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky. Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework |
163 | -- | 187 | Jörg Desel, Gabriel Juhás, Robert Lorenz. Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra |
188 | -- | 189 | Hartmut Ehrig, Claudia Ermel, Julia Padberg. Preface |