Volume 127, Number 1, March 2005
- Tom Mens, Andy Schürr, Gabriele Taentzer:
Preface.
1
- Fernando Luís Dotti, Lucio Mauro Duarte, Luciana Foss, Leila Ribeiro, Daniela Russi, Osmar Marchi dos Santos:
An Environment for the Development of Concurrent Object-Based Applications.
3-13
- Frank Drewes, Berthold Hoffmann, Raimund Klein, Mark Minas:
Rule-Based Programming with Diaplan.
15-26
- Hans-Georg Fill:
UML Statechart Diagrams on the ADONIS Metamodeling Platform.
27-36
- Leif Geiger, Albert Zündorf:
Statechart Modeling with Fujaba.
37-49
- Leen Lambers:
A New Version of GTXL : An Exchange Format for Graph Transformation Systems.
51-63
- Tihamer Levendovszky, László Lengyel, Gergely Mezei, Hassan Charaf:
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS.
65-75
- Siegfried Nijssen, Joost N. Kok:
The Gaston Tool for Frequent Subgraph Mining.
77-87
- Ulrich Norbisrath, Priit Salumaa, Erhard Schultchen, Bodo Kraft:
Fujaba-Based Tool Development for eHome Systems.
89-99
- Francesco Parisi-Presicce, Yujie Zhao:
Policy Analysis and Verification by Graph Transformation Tools.
101-112
- Ulrik Brandes, Jürgen Lerner, Christian Pich:
GXL to GraphML and Vice Versa with XSLT.
113-125
- 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
- Francesc Rosselló, Gabriel Valiente:
Chemical Graphs, Chemical Reaction Graphs, and Chemical Graph Transformation.
157-166
- Gergely Varró, Katalin Friedl, Dániel Varró:
Graph Transformation in Relational Databases.
167-180
- Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai:
Reusable Idioms and Patterns in Graph Transformation Languages.
181-192
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
- Paolo Baldan, Andrea Corradini, Ugo Montanari:
Relating SPO and DPO graph rewriting with Petri nets having read, inhibitor and reset arcs.
5-28
- Luciano Baresi, Mauro Pezzè:
Petri Nets as Semantic Domain for Diagram Notations.
29-44
- Daniele Codetta Raiteri:
The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation.
45-60
- Claudia Ermel, Karsten Ehrig:
View Transformation in Visual Environments applied to Algebraic High-Level Nets.
61-86
- Kathrin Hoffmann, Till Mossakowski, Francesco Parisi-Presicce:
Higher-Order Nets for Mobile Policies.
87-105
- Vladimiro Sassone, Pawel Sobocinski:
A Congruence for Petri Nets.
107-120
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
- Hans Schippers, Pieter Van Gorp, Dirk Janssens:
Leveraging UML Profiles to Generate Plugins From Visual Model Transformations.
5-16
- Edward D. Willink, Philip J. Harris:
The Side Transformation Pattern: Making Transforms Modular and Re-usable.
17-29
- Artur Boronat, José A. Carsí, Isidro Ramos:
An Algebraic Baseline for Automatic Transformations in MDA.
31-47
- Ralf Lämmel:
Evolution of Language Interpreters.
49-54
- Robert Hirschfeld, Ralf Lämmel:
Reflective Designs -- An Overview.
55-58
- Jean-Marie Favre, Tam Nguyen:
Towards a Megamodel to Model Software Evolution Through Transformations.
59-74
- Stéphane Ducasse, Tudor Gîrba, Jean-Marie Favre:
Modeling Software Evolution by Treating History as a First Class Entity.
75-86
- Giuliano Antoniol, Massimiliano Di Penta, Harald Gall, Martin Pinzger:
Towards the Integration of Versioning Systems, Bug Reports and Source Code Meta-Models.
87-99
- Reiko Heckel, Sebastian Thöne:
Behavioral Refinement of Graph Transformation-Based Models.
101-111
- Tom Mens, Gabriele Taentzer, Olga Runge:
Detecting Structural Refactoring Conflicts Using Critical Pair Analysis.
113-128
- Mehdi Jazayeri, Johann Oberleitner:
Predicting Incompatibility of Transformations in Model-driven Development.
129-137
- Piotr Kosiuczenko:
Proof Transformation via Interpretation Functions: Results, Problems and Applications.
139-145
- Tom Mens, Amnon H. Eden:
On the Evolution Complexity of Design Patterns.
147-163
- Paris Avgeriou, Nicolas Guelfi, Gilles Perrouin:
Evolution Through Architectural Reconciliation.
165-181
- Martin Pinzger, Harald Gall, Michael Fischer:
Towards an Integrated View on Architecture and its Evolution.
183-196
- Yves Vandewoude, Yolande Berbers:
Fresco: Flexible and Reliable Evolution System for Components.
197-205
- 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)
- Mark Minas:
Preface.
1-2
- 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
- Paul Ziemann, Karsten Hölscher, Martin Gogolla:
From UML Models to Graph Transformation Systems.
17-33
- Harald Störrle:
Semantics and Verification of Data Flow in UML 2.0 Activities.
35-52
- Andrew Fish, Jean Flower:
Investigating Reasoning with Constraint Diagrams.
53-69
- Paolo Bottoni, Manuel Koch, Francesco Parisi-Presicce, Gabriele Taentzer:
Termination of High-Level Replacement Units with Application to Model Transformation.
71-86
- Michael Ebert, Georg Struth:
Diagram Chase in Relational System Development.
87-105
- Gennaro Costagliola, Vincenzo Deufemia, Giuseppe Polese:
Towards Syntax-Aware Editors for Visual Languages.
107-125
- Karsten Ehrig, Claudia Ermel, Stefan Hänsgen, Gabriele Taentzer:
Towards Graph Transformation Based Generation of Visual Editors Using Eclipse.
127-143
- 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)
- Maribel Fernández:
Preface.
1-2
- Pietro Cenciarelli, Alessandro Tiberi:
Rational Unification in 28 Characters.
3-20
- Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner:
A Rewriting Calculus for Cyclic Higher-order Term Graphs.
21-41
- Andrea Corradini, Fabio Gadducci:
On Term Graphs as an Adhesive Category.
43-56
- Daniel J. Dougherty, Pierre Lescanne, Luigi Liquori, Frédéric Lang:
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics: Extended Abstract.
57-82
- Fabien Fleutot:
Encoding an Object Calculus into Interaction Nets.
83-111
- Stefano Guerrini:
Sharing Implementations of Graph Rewriting Systems.
113-132
- Ian Mackie:
Towards a Programming Language for Interaction Nets.
133-151
- François-Régis Sinot, Ian Mackie:
Macros for Interaction Nets: A Conservative Extension of Interaction Nets.
153-169
- Steffen van Bakel, Jayshan Raghunandan:
Implementing X.
171-195
Last update Tue May 21 18:51:23 2013
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
