Journal: Electronic Notes in Theoretical Computer Science

Volume 72, Issue 4

1 -- 5Reiko Heckel, Tom Mens, Michel Wermelinger. Software Evolution through Transformations
6 -- 0Stuart Kent. Model Driven Language Engineering
7 -- 19Jennifer Pérez, Víctor Anaya, J. María Cubel, Isidro Ramos, José A. Carsí. Data Reverse Engineering of Legacy Databases to Object Oriented Conceptual Schemas
20 -- 33Nicolas Revault. Model transformation based on production rules
34 -- 45Tom Tourwé, Tom Mens. High-level Transformations to Support Framework-Based Software Development
46 -- 58Julia Padberg. Basic Ideas for Transformations of Specification Architectures
59 -- 70Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer. Coordinated Distributed Diagram Transformation for Software Evolution
71 -- 73Dirk Janssens, Serge Demeyer, Tom Mens. Case Study: Simulation of a LAN
74 -- 76Markus Klein, Mesut Özhan, Martti Piirainen. Agent-Based Material Flow
77 -- 78Reiko Heckel, Tom Mens, Michel Wermelinger. Preface
176 -- 177Paolo Bottoni, Mark Minas. Preface

Volume 72, Issue 3

1 -- 12John Power, Konstantinos Tourlas. On the Geometric Modelling of Visual Languages
13 -- 24Michel Bauderon, Mohamed Mosbah. A Unified Framework for Designing, Implementing and Visualizing Distributed Algorithms
25 -- 35Gennaro Costagliola, Vincenzo Deufemia, Filomena Ferrucci, Carmine Gravino. Exploiting Visual Languages Generation and UML Meta Modeling to Construct Meta-CASE Workbenches
36 -- 50Juan de Lara Jaramillo, Hans Vangheluwe, Manuel Alfonseca Moreno. Using Meta-Modelling and Graph Grammars to Create Modelling Environments
51 -- 64Dániel Varró. Towards Symbolic Analysis of Visual Modeling Languages
65 -- 77Claudia Ermel, Roswitha Bardohl. Scenario Views for Visual Behavior Models in GenGED
78 -- 92Nik Swoboda, Gerard Allwein. Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference
93 -- 102Jean Flower, John Howse, John Taylor. Nesting in Euler Diagrams
103 -- 117Peter Braun, Frank Marschall. Transforming Object Oriented Models with BOTL
118 -- 132Hartmut Ehrig, Fernando Orejas, Benjamin Braatz, Markus Klein, Martti Piirainen. A Component Framework Based on High-Level Replacement Systems
133 -- 144Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer. Dynamic Meta Modeling with Time: Specifying the Semantics of Multimedia Sequence Diagrams
145 -- 159Ella E. Roubtsova, Ruurd Kuiper. Process Semantics for UML Component Specifications to Assess Inheritance
160 -- 175Martin Gogolla, Paul Ziemann, Sabine Kuske. Towards an Integrated Graph Based Semantics for UML

Volume 72, Issue 2

1 -- 10Olivier Gout, Gilles Ardourel, Marianne Huchard. Access Graph Visualization: A step towards better understanding of static access control
11 -- 13Tom Mens, Andy Schürr, Gabriele Taentzer. Graph-Based Tools (GraBaTs 2002)
14 -- 24Roswitha Bardohl, Claudia Ermel, Ingo Weinhold. AGG and GenGED: Graph Transformation-Based Specification and Analysis Rechniques for Visual Languages
25 -- 31Georg Sander, Adrian Vasiliu. Ilog JViews Graph Layout: A Java library for highly demanding graph-based applications
32 -- 46Tiziana Margaria. The Electronic Tool Integration Platform as a Supplier and User of Graph Based Tools
47 -- 56Jürgen Ebert, Bernt Kullbach, Volker Riediger, Andreas Winter. GUPRO - Generic Understanding of Programs
57 -- 68Tom Mens, Michele Lanza. A Graph-Based Metamodel for Object-Oriented Software Metrics
69 -- 78Péter Domokos, Dániel Varró. An Open Visualization Framework for Metamodel-Based Modeling Languages
79 -- 0Luciano Baresi, Marco Mauri, Mauro Pezzè. PLCTools: Graph Transformation Meets PLC Design
80 -- 0Ingo Stürmer. A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools
81 -- 90Carla Binucci, Walter Didimo. A Software System for Computing Labeled Orthogonal Drawings of Graphs
91 -- 101Boris Böhlen, Dirk Jäger, Ansgar Schleicher, Bernhard Westfechtel. UPGRADE: A Framework for Building Graph-Based Interactive Tools
102 -- 111Mark Minas. Specifying Graph-like Diagrams with DIAGEN
112 -- 0. Graph Based Debugging with Fujaba
113 -- 122Vincent Englebert. An OO interpretation of graphs as meta-CASE s Meta-meta-model

Volume 72, Issue 1

1 -- 2Ian Mackie, Detlef Plump. Preface
3 -- 16Adam Bakewell. Using Term-Graph Rewriting Models to Analyse Relative Space Efficiency
17 -- 29Stefan Blom. Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting
31 -- 44Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König. Inequational Deduction as Term Graph Rewriting
45 -- 58Maribel Fernández, Ian Mackie, Jorge Sousa Pinto. A Higher-Order Calculus for Graph Transformation
59 -- 74Clemens Grabmayer. A Duality in Proof Systems for Recursive Type Equality and for Bisimulation Equivalence on Cyclic Term Graphs
75 -- 86Sylvain Lippi. Package Duplication in Interaction Nets and Weak Head Reduction in the lambda-calculus
87 -- 100Enno Ohlebusch. Conditional Term Graph Rewriting with Indirect Sharing