default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAGTIVE 2003: Charlottesville, Virginia, USA
- John L. Pfaltz, Manfred Nagl, Boris Böhlen:
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 - Mario Michele Gala, Elisa Quintarelli, Letizia Tanca:
Graph Transformation for Merging User Navigation Histories. 1-14 - Anilda Qemali, Gabriele Taentzer:
Towards Validation of Session Management in Web Applications based on Graph Transformation. 15-29 - Adam Bakewell, Detlef Plump, Colin Runciman:
Specifying Pointer Structures by Graph Reduction. 30-44 - Boris Böhlen:
Specific Graph Models and Their Mappings to a Common Model. 45-60 - Leif Geiger, Albert Zündorf:
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests. 61-74 - Janusz Szuba, Agnieszka Ozimek, Andy Schürr:
On Graphs in Conceptual Engineering Design. 75-89 - Bodo Kraft, Manfred Nagl
:
Parameterized Specification of Conceptual Design Tools in Civil Engineering. 90-105 - Ralph Depke, Jan Hendrik Hausmann, Reiko Heckel:
Design of an Agent-Oriented Modeling Language Based on Graph Transformation. 106-119 - Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos:
Specification and Analysis of Fault Behaviours Using Graph Grammars. 120-133 - Uwe Aßmann, Johan Lövdahl:
Integrating Graph Rewriting and Standard Software Tools. 134-148 - Alon Amsel, Dirk Janssens:
Expressing Component-Relating Aspects with Graph Transformations. 149-162 - Ingrid Fischer:
Modeling Discontinuous Constituents with Hypergraph Grammars. 163-169 - Felix H. Gatzemeier:
Authoring Support Based on User-Serviceable Graph Transformation. 170-185 - Tobias Rötschke:
Re-engineering a Medical Imaging System Using Graph Transformations. 185-201 - André Marburger, Bernhard Westfechtel:
Behavioral Analysis of Telecommunication Systems by Graph Transformations. 202-219 - Paolo Bottoni, Francesco Parisi-Presicce, Gabriele Taentzer:
Specifying Integrated Refactoring with Distributed Graph Transformations. 220-235 - Thomas Haase, Oliver Meyer, Boris Böhlen, Felix H. Gatzemeier:
A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars. 236-242 - Gabor Karsai, Aditya Agrawal:
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). 243-259 - Andrew Fish, John Howse:
Computing Reading Trees for Constraint Diagrams. 260-274 - Björn Cordes, Karsten Hölscher, Hans-Jörg Kreowski:
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams. 275-291 - Juan de Lara, Esther Guerra, Hans Vangheluwe:
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. 292-298 - Geir Agnarsson, Ágúst S. Egilsson, Magnús M. Halldórsson:
Proper Down-Coloring Simple Acyclic Digraphs. 299-312 - Colin Smith, Przemyslaw Prusinkiewicz, Faramarz F. Samavati:
Local Specification of Surface Subdivision Algorithms. 313-327 - Robert E. Jamison:
Transforming Toric Digraphs. 328-333 - Markus Heller, Ansgar Schleicher, Bernhard Westfechtel:
Graph-Based Specification of a Management System for Evolving Development Processes. 334-351 - Markus Heller, Dirk Jäger:
Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes. 352-368 - Hawley K. Rising:
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (Invited Talk). 369-382 - Renate Klempien-Hinrichs, Thomas Meyer, Caroline von Totth:
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes. 383-397 - Mark Minas:
VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors. 398-412 - Roswitha Bardohl, Claudia Ermel, Ingo Weinhold:
GenGED - A Visual Definition Tool for Visual Modeling Environments. 413-419 - Felix H. Gatzemeier:
CHASID - A Graph-Based Authoring Support System. 420-426 - Markus Heller, Dirk Jäger:
Interorganizational Management of Development Processes. 427-433 - Bodo Kraft:
Conceptual Design Tools for Civil Engineering. 434-439 - André Marburger, Bernhard Westfechtel:
E-CARES - Telecommunication Re- and Reverse Engineering Tools. 440-445 - Gabriele Taentzer:
AGG: A Graph Transformation Environment for Modeling and Validation of Software. 446-453 - Markus Heller, Ansgar Schleicher, Bernhard Westfechtel:
Process Evolution Support in the AHEAD System. 454-460 - Thomas Haase, Oliver Meyer, Boris Böhlen, Felix H. Gatzemeier:
Fire3: Architecture Refinement for A-posteriori Integration. 461-467 - Uwe Aßmann, Johan Lövdahl:
A Demo of OptimixJ. 468-472 - Mark Minas:
Visual Specification of Visual Editors with VisualDiaGen. 473-478 - Arend Rensink:
The GROOVE Simulator: A Tool for State Space Generation. 479-485 - Arend Rensink:
AGTIVE'03: Summary from the Outside In. 486-488 - Gabriele Taentzer:
AGTIVE'03: Summary from the Theoretical Point of View. 489-490 - Mark Minas:
AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications. 491-492 - Bernhard Westfechtel:
AGTIVE'03: Summary from a Tool Builder's Viewpoint. 493-495 - Bernhard Westfechtel:
Best Presentation and Demonstration Awards. 496
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-01-26 23:54 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
