AGTIVE 2003:
Charlottesville,
Virginia,
USA
John L. Pfaltz, Manfred Nagl, Boris Böhlen (Eds.):
Applications of Graph Transformations with Industrial Relevance, Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers.
Lecture Notes in Computer Science 3062 Springer 2004, ISBN 3-540-22120-4 BibTeX
- Mario Michele Gala, Elisa Quintarelli, Letizia Tanca:
Graph Transformation for Merging User Navigation Histories.
1-14
Electronic Edition (link) BibTeX
- Anilda Qemali, Gabriele Taentzer:
Towards Validation of Session Management in Web Applications based on Graph Transformation.
15-29
Electronic Edition (link) BibTeX
- Adam Bakewell, Detlef Plump, Colin Runciman:
Specifying Pointer Structures by Graph Reduction.
30-44
Electronic Edition (link) BibTeX
- Boris Böhlen:
Specific Graph Models and Their Mappings to a Common Model.
45-60
Electronic Edition (link) BibTeX
- Leif Geiger, Albert Zündorf:
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests.
61-74
Electronic Edition (link) BibTeX
- Janusz Szuba, Agnieszka Ozimek, Andy Schürr:
On Graphs in Conceptual Engineering Design.
75-89
Electronic Edition (link) BibTeX
- Bodo Kraft, Manfred Nagl:
Parameterized Specification of Conceptual Design Tools in Civil Engineering.
90-105
Electronic Edition (link) BibTeX
- Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel:
Design of an Agent-Oriented Modeling Language Based on Graph Transformation.
106-119
Electronic Edition (link) BibTeX
- Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos:
Specification and Analysis of Fault Behaviours Using Graph Grammars.
120-133
Electronic Edition (link) BibTeX
- Uwe Aßmann, Johan Lövdahl:
Integrating Graph Rewriting and Standard Software Tools.
134-148
Electronic Edition (link) BibTeX
- Alon Amsel, Dirk Janssens:
Expressing Component-Relating Aspects with Graph Transformations.
149-162
Electronic Edition (link) BibTeX
- Ingrid Fischer:
Modeling Discontinuous Constituents with Hypergraph Grammars.
163-169
Electronic Edition (link) BibTeX
- Felix H. Gatzemeier:
Authoring Support Based on User-Serviceable Graph Transformation.
170-185
Electronic Edition (link) BibTeX
- Tobias Rötschke:
Re-engineering a Medical Imaging System Using Graph Transformations.
185-201
Electronic Edition (link) BibTeX
- André Marburger, Bernhard Westfechtel:
Behavioral Analysis of Telecommunication Systems by Graph Transformations.
202-219
Electronic Edition (link) BibTeX
- Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer:
Specifying Integrated Refactoring with Distributed Graph Transformations.
220-235
Electronic Edition (link) BibTeX
- Thomas Haase, Oliver Meyer, Boris Böhlen, Felix H. Gatzemeier:
A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars.
236-242
Electronic Edition (link) BibTeX
- Gabor Karsai, Aditya Agrawal:
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).
243-259
Electronic Edition (link) BibTeX
- Andrew Fish, John Howse:
Computing Reading Trees for Constraint Diagrams.
260-274
Electronic Edition (link) BibTeX
- Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski:
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams.
275-291
Electronic Edition (link) BibTeX
- Juan de Lara, Esther Guerra, Hans Vangheluwe:
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.
292-298
Electronic Edition (link) BibTeX
- Geir Agnarsson, Ágúst S. Egilsson, Magnús M. Halldórsson:
Proper Down-Coloring Simple Acyclic Digraphs.
299-312
Electronic Edition (link) BibTeX
- Colin Smith, Przemyslaw Prusinkiewicz, Faramarz F. Samavati:
Local Specification of Surface Subdivision Algorithms.
313-327
Electronic Edition (link) BibTeX
- Robert E. Jamison:
Transforming Toric Digraphs.
328-333
Electronic Edition (link) BibTeX
- Markus Heller, Ansgar Schleicher, Bernhard Westfechtel:
Graph-Based Specification of a Management System for Evolving Development Processes.
334-351
Electronic Edition (link) BibTeX
- Markus Heller, Dirk Jäger:
Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes.
352-368
Electronic Edition (link) BibTeX
- Hawley K. Rising:
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk).
369-382
Electronic Edition (link) BibTeX
- Renate Klempien-Hinrichs, Thomas Meyer, Carolina von Totth:
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes.
383-397
Electronic Edition (link) BibTeX
- Mark Minas:
VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors.
398-412
Electronic Edition (link) BibTeX
- Roswitha Bardohl, Claudia Ermel, Ingo Weinhold:
GenGED - A Visual Definition Tool for Visual Modeling Environments.
413-419
Electronic Edition (link) BibTeX
- Felix H. Gatzemeier:
CHASID - A Graph-Based Authoring Support System.
420-426
Electronic Edition (link) BibTeX
- Markus Heller, Dirk Jäger:
Interorganizational Management of Development Processes.
427-433
Electronic Edition (link) BibTeX
- Bodo Kraft:
Conceptual Design Tools for Civil Engineering.
434-439
Electronic Edition (link) BibTeX
- André Marburger, Bernhard Westfechtel:
E-CARES - Telecommunication Re- and Reverse Engineering Tools.
440-445
Electronic Edition (link) BibTeX
- Gabriele Taentzer:
AGG: A Graph Transformation Environment for Modeling and Validation of Software.
446-453
Electronic Edition (link) BibTeX
- Markus Heller, Ansgar Schleicher, Bernhard Westfechtel:
Process Evolution Support in the AHEAD System.
454-460
Electronic Edition (link) BibTeX
- Thomas Haase, Oliver Meyer, Boris Böhlen, Felix H. Gatzemeier:
Fire3: Architecture Refinement for A-posteriori Integration.
461-467
Electronic Edition (link) BibTeX
- Uwe Aßmann, Johan Lövdahl:
A Demo of OptimixJ.
468-472
Electronic Edition (link) BibTeX
- Mark Minas:
Visual Specification of Visual Editors with VisualDiaGen.
473-478
Electronic Edition (link) BibTeX
- Arend Rensink:
The GROOVE Simulator: A Tool for State Space Generation.
479-485
Electronic Edition (link) BibTeX
- Arend Rensink:
AGTIVE'03: Summary from the Outside In.
486-488
Electronic Edition (link) BibTeX
- Gabriele Taentzer:
AGTIVE'03: Summary from the Theoretical Point of View.
489-490
Electronic Edition (link) BibTeX
- Mark Minas:
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.
491-492
Electronic Edition (link) BibTeX
- Bernhard Westfechtel:
AGTIVE'03: Summary from a Tool Builder's Viewpoint.
493-495
Electronic Edition (link) BibTeX
- Bernhard Westfechtel:
Best Presentation and Demonstration Awards.
496
Electronic Edition (link) BibTeX
Copyright © Sat May 16 22:57:00 2009
by Michael Ley (ley@uni-trier.de)