Electronic Notes in Theoretical Computer Science, Volume 127
Volume 127, Number 1, March 2005
: UML Statechart Diagrams on the ADONIS Metamodeling Platform.
: A New Version of GTXL : An Exchange Format for Graph Transformation Systems.
: Time and Space Issues in the Generation of Graph Transition Systems.
: New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD.
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.
Volume 127, Number 3, April 2005
Proceedings of the Workshop on Software Evolution through Transformations:
Model-based vs. Implementation-level Solutions (SETra 2004)
: Proof Transformation via Interpretation Functions: Results, Problems and Applications.
: Dynamic Software Assembly for Automatic Deployment-oriented Adaptation.
Volume 127, Number 4, April 2005
Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004)
: Semantics and Verification of Data Flow in UML 2.0 Activities.
Juan de Lara
: Distributed Event Graphs: Formalizing Component-based Modelling and Simulation.
Volume 127, Number 5, May 2005
Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004)
: Encoding an Object Calculus into Interaction Nets.
: Towards a Programming Language for Interaction Nets.