Volume 127, Number 1, March 2005
Hans-Georg Fill:
UML Statechart Diagrams on the ADONIS Metamodeling Platform.
27-36
Leen Lambers:
A New Version of GTXL : An Exchange Format for Graph Transformation Systems.
51-63
Arend Rensink:
Time and Space Issues in the Generation of Graph Transition Systems.
127-139
Janusz Szuba:
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD.
141-156
Volume 127, Number 2, March 2005
Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004)
Daniele Codetta Raiteri:
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation.
45-60
Volume 127, Number 3, April 2005
Proceedings of the Workshop on Software Evolution through Transformations:
Model-based vs. Implementation-level Solutions (SETra 2004)
Piotr Kosiuczenko:
Proof Transformation via Interpretation Functions: Results, Problems and Applications.
139-145
Anthony Savidis:
Dynamic Software Assembly for Automatic Deployment-oriented Adaptation.
207-211
Volume 127, Number 4, April 2005
Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004)
Harald Störrle:
Semantics and Verification of Data Flow in UML 2.0 Activities.
35-52
Juan de Lara:
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation.
145-162
Volume 127, Number 5, May 2005
Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004)
Fabien Fleutot:
Encoding an Object Calculus into Interaction Nets.
83-111
Ian Mackie:
Towards a Programming Language for Interaction Nets.
133-151
data released under the ODC-BY 1.0 license
