Volume 127,
Number 2,
March 2005
Proceedings of the Workshop on Petri Nets and Graph Transformations (PNGT 2004)
- Hartmut Ehrig, Julia Padberg, Grzegorz Rozenberg:
Preface.
1-3
Electronic Edition (link) BibTeX
- Paolo Baldan, Andrea Corradini, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.
5-28
Electronic Edition (link) BibTeX
- Luciano Baresi, Mauro Pezzè:
Petri Nets as Semantic Domain for Diagram Notations.
29-44
Electronic Edition (link) BibTeX
- Daniele Codetta Raiteri:
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation.
45-60
Electronic Edition (link) BibTeX
- Claudia Ermel, Karsten Ehrig:
View Transformation in Visual Environments applied to Algebraic High-Level Nets.
61-86
Electronic Edition (link) BibTeX
- Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies.
87-105
Electronic Edition (link) BibTeX
- Vladimiro Sassone, Pawel Sobocinski:
A Congruence for Petri Nets.
107-120
Electronic Edition (link) BibTeX
Volume 127,
Number 3,
April 2005
Proceedings of the Workshop on Software Evolution through Transformations:
Model-based vs. Implementation-level Solutions (SETra 2004)
- Reiko Heckel, Tom Mens:
Preface.
1-3
Electronic Edition (link) BibTeX
- Hans Schippers, Pieter Van Gorp, Dirk Janssens:
Leveraging UML Profiles to Generate Plugins From Visual Model Transformations.
5-16
Electronic Edition (link) BibTeX
- Edward D. Willink, Philip J. Harris:
The Side Transformation Pattern: Making Transforms Modular and Re-usable.
17-29
Electronic Edition (link) BibTeX
- Artur Boronat, José A. Carsí, Isidro Ramos:
An Algebraic Baseline for Automatic Transformations in MDA.
31-47
Electronic Edition (link) BibTeX
- Ralf Lämmel:
Evolution of Language Interpreters.
49-54
Electronic Edition (link) BibTeX
- Robert Hirschfeld, Ralf Lämmel:
Reflective Designs -- An Overview.
55-58
Electronic Edition (link) BibTeX
- Jean-Marie Favre, Tam Nguyen:
Towards a Megamodel to Model Software Evolution Through Transformations.
59-74
Electronic Edition (link) BibTeX
- Stéphane Ducasse, Tudor Gîrba, Jean-Marie Favre:
Modeling Software Evolution by Treating History as a First Class Entity.
75-86
Electronic Edition (link) BibTeX
- Giuliano Antoniol, Massimiliano Di Penta, Harald Gall, Martin Pinzger:
Towards the Integration of Versioning Systems, Bug Reports and Source Code Meta-Models.
87-99
Electronic Edition (link) BibTeX
- Reiko Heckel, Sebastian Thöne:
Behavioral Refinement of Graph Transformation-Based Models.
101-111
Electronic Edition (link) BibTeX
- Tom Mens, Gabriele Taentzer, Olga Runge:
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis.
113-128
Electronic Edition (link) BibTeX
- Mehdi Jazayeri, Johann Oberleitner:
Predicting Incompatibility of Transformations in Model-driven Development.
129-137
Electronic Edition (link) BibTeX
- Piotr Kosiuczenko:
Proof Transformation via Interpretation Functions: Results, Problems and Applications.
139-145
Electronic Edition (link) BibTeX
- Tom Mens, Amnon H. Eden:
On the Evolution Complexity of Design Patterns.
147-163
Electronic Edition (link) BibTeX
- Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin:
Evolution Through Architectural Reconciliation.
165-181
Electronic Edition (link) BibTeX
- Martin Pinzger, Harald Gall, Michael Fischer:
Towards an Integrated View on Architecture and its Evolution.
183-196
Electronic Edition (link) BibTeX
- Yves Vandewoude, Yolande Berbers:
Fresco: Flexible and Reliable Evolution System for Components.
197-205
Electronic Edition (link) BibTeX
- Anthony Savidis:
Dynamic Software Assembly for Automatic Deployment-oriented Adaptation.
207-211
Electronic Edition (link) BibTeX
Volume 127,
Number 4,
April 2005
Proceedings of the Workshop on Visual Languages and Formal Methods (VLFM 2004)
- Mark Minas:
Preface.
1-2
Electronic Edition (link) BibTeX
- 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.
3-16
Electronic Edition (link) BibTeX
- Paul Ziemann, Karsten Hölscher, Martin Gogolla:
From UML Models to Graph Transformation Systems.
17-33
Electronic Edition (link) BibTeX
- Harald Störrle:
Semantics and Verification of Data Flow in UML 2.0 Activities.
35-52
Electronic Edition (link) BibTeX
- Andrew Fish, Jean Flower:
Investigating Reasoning with Constraint Diagrams.
53-69
Electronic Edition (link) BibTeX
- Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation.
71-86
Electronic Edition (link) BibTeX
- Michael Ebert, Georg Struth:
Diagram Chase in Relational System Development.
87-105
Electronic Edition (link) BibTeX
- Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese:
Towards Syntax-Aware Editors for Visual Languages.
107-125
Electronic Edition (link) BibTeX
- Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer:
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse.
127-143
Electronic Edition (link) BibTeX
- Juan de Lara:
Distributed Event Graphs: Formalizing Component-based Modelling and Simulation.
145-162
Electronic Edition (link) BibTeX
Volume 127,
Number 5,
May 2005
Proceedings of the 2nd International Workshop on Term Graph Rewriting (TERMGRAPH 2004)
- Maribel Fernández:
Preface.
1-2
Electronic Edition (link) BibTeX
- Pietro Cenciarelli, Alessandro Tiberi:
Rational Unification in 28 Characters.
3-20
Electronic Edition (link) BibTeX
- Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner:
A Rewriting Calculus for Cyclic Higher-order Term Graphs.
21-41
Electronic Edition (link) BibTeX
- Andrea Corradini, Fabio Gadducci:
On Term Graphs as an Adhesive Category.
43-56
Electronic Edition (link) BibTeX
- Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang:
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.
57-82
Electronic Edition (link) BibTeX
- Fabien Fleutot:
Encoding an Object Calculus into Interaction Nets.
83-111
Electronic Edition (link) BibTeX
- Stefano Guerrini:
Sharing Implementations of Graph Rewriting Systems.
113-132
Electronic Edition (link) BibTeX
- Ian Mackie:
Towards a Programming Language for Interaction Nets.
133-151
Electronic Edition (link) BibTeX
- François-Régis Sinot, Ian Mackie:
Macros for Interaction Nets: A Conservative Extension of Interaction Nets.
153-169
Electronic Edition (link) BibTeX
- Steffen van Bakel, Jayshan Raghunandan:
Implementing X.
171-195
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:58:20 2009
by Michael Ley (ley@uni-trier.de)
