Revised Selected and Invited Papers of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

John L. Pfaltz, Manfred Nagl, Boris Böhlen
Revised Selected and Invited Papers of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance
AGTIVE, 2003.

GRAPH
DBLP
Scholar
Full names Links ISxN
@proceedings{AGTIVE-2003,
	address       = "Charlottesville, Virginia, USA",
	editor        = "John L. Pfaltz and Manfred Nagl and Boris Böhlen",
	isbn          = "3-540-22120-4",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Revised Selected and Invited Papers of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance}",
	volume        = 3062,
	year          = 2003,
}

Contents (40 items)

AGTIVE-2003-GalaQT #graph transformation #navigation
Graph Transformation for Merging User Navigation Histories (MMG, EQ, LT), pp. 1–14.
AGTIVE-2003-QemaliT #graph transformation #towards #validation #web
Towards Validation of Session Management in Web Applications based on Graph Transformation (AQ, GT), pp. 15–29.
AGTIVE-2003-BakewellPR #graph #pointer #reduction #specification
Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.
AGTIVE-2003-Bohlen #graph #modelling
Specific Graph Models and Their Mappings to a Common Model (BB), pp. 45–60.
AGTIVE-2003-GeigerZ #graph transformation #testing
Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests (LG, AZ), pp. 61–74.
AGTIVE-2003-SzubaOS #concept #design #graph #on the
On Graphs in Conceptual Engineering Design (JS, AO, AS), pp. 75–89.
AGTIVE-2003-KraftN #concept #design #specification #tool support
Parameterized Specification of Conceptual Design Tools in Civil Engineering (BK, MN), pp. 90–105.
AGTIVE-2003-DepkeHH #design #graph transformation #modelling
Design of an Agent-Oriented Modeling Language Based on Graph Transformation (RD, JHH, RH), pp. 106–119.
AGTIVE-2003-DottiRS #analysis #behaviour #fault #graph grammar #specification #using
Specification and Analysis of Fault Behaviours Using Graph Grammars (FLD, LR, OMdS), pp. 120–133.
AGTIVE-2003-AssmannL #graph grammar #standard #tool support
Integrating Graph Rewriting and Standard Software Tools (UA, JL), pp. 134–148.
AGTIVE-2003-AmselJ #aspect-oriented #component #graph transformation
Expressing Component-Relating Aspects with Graph Transformations (AA, DJ), pp. 149–162.
AGTIVE-2003-Fischer #graph grammar #modelling
Modeling Discontinuous Constituents with Hypergraph Grammars (IF), pp. 163–169.
AGTIVE-2003-Gatzemeier #authoring #graph transformation
Authoring Support Based on User-Serviceable Graph Transformation (FHG), pp. 170–185.
AGTIVE-2003-Rotschke #graph transformation #re-engineering #using
Re-engineering a Medical Imaging System Using Graph Transformations (TR), pp. 185–201.
AGTIVE-2003-MarburgerW #analysis #behaviour #graph transformation
Behavioral Analysis of Telecommunication Systems by Graph Transformations (AM, BW), pp. 202–219.
AGTIVE-2003-BottoniPT #distributed #graph transformation #refactoring #specification
Specifying Integrated Refactoring with Distributed Graph Transformations (PB, FPP, GT), pp. 220–235.
AGTIVE-2003-HaaseMBG #agile #architecture #graph grammar #prototype
A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars (TH, OM, BB, FHG), pp. 236–242.
AGTIVE-2003-KarsaiA #architecture #graph transformation #modelling
Graph Transformations in OMG’s Model-Driven Architecture: (GK, AA), pp. 243–259.
AGTIVE-2003-FishH #constraints #diagrams
Computing Reading Trees for Constraint Diagrams (AF, JH), pp. 260–274.
AGTIVE-2003-CordesHK #collaboration #diagrams #interactive #sequence chart #uml
UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams (BC, KH, HJK), pp. 275–291.
AGTIVE-2003-LaraGV #analysis #graph transformation #hybrid #metamodelling #model checking
Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems (JdL, EG, HV), pp. 292–298.
AGTIVE-2003-AgnarssonEH #graph
Proper Down-Coloring Simple Acyclic Digraphs (GA, ÁSE, MMH), pp. 299–312.
AGTIVE-2003-SmithPS #algorithm #specification
Local Specification of Surface Subdivision Algorithms (CS, PP, FFS), pp. 313–327.
AGTIVE-2003-Jamison #graph
Transforming Toric Digraphs (REJ), pp. 328–333.
AGTIVE-2003-HellerSW #development #evolution #graph #process #specification
Graph-Based Specification of a Management System for Evolving Development Processes (MH, AS, BW), pp. 334–351.
AGTIVE-2003-HellerJ #development #distributed #graph #process #tool support
Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes (MH, DJ), pp. 352–368.
AGTIVE-2003-Rising #graph grammar #graph transformation #multi #semantics
MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia (HKR), pp. 369–382.
AGTIVE-2003-Klempien-HinrichsMT #3d
Collage Grammars for Collision-Free Growing of Objects in 3D Scenes (RKH, TM, CvT), pp. 383–397.
AGTIVE-2003-Minas #editing #generative #named #specification #visual notation
VisualDiaGen — A Tool for Visually Specifying and Generating Visual Editors (MM), pp. 398–412.
AGTIVE-2003-BardohlEW #modelling #named #visual notation
GenGED — A Visual Definition Tool for Visual Modeling Environments (RB, CE, IW), pp. 413–419.
AGTIVE-2003-Gatzemeier03a #authoring #graph #named
CHASID — A Graph-Based Authoring Support System (FHG), pp. 420–426.
AGTIVE-2003-HellerJ03a #development #process
Interorganizational Management of Development Processes (MH, DJ), pp. 427–433.
AGTIVE-2003-Kraft #concept #design #tool support
Conceptual Design Tools for Civil Engineering (BK), pp. 434–439.
AGTIVE-2003-Westfechtel #named #reverse engineering #tool support
E-CARES — Telecommunication Re- and Reverse Engineering Tools (AM, BW), pp. 440–445.
AGTIVE-2003-Taentzer #graph transformation #modelling #named #validation
AGG: A Graph Transformation Environment for Modeling and Validation of Software (GT), pp. 446–453.
AGTIVE-2003-HellerSW03a #evolution #process
Process Evolution Support in the AHEAD System (MH, AS, BW), pp. 454–460.
AGTIVE-2003-HaaseMBG03a #architecture #integration #named #refinement
Fire3: Architecture Refinement for A-posteriori Integration (TH, OM, BB, FHG), pp. 461–467.
AGTIVE-2003-AssmannL03a
A Demo of OptimixJ (UA, JL), pp. 468–472.
AGTIVE-2003-Minas03a #editing #specification #visual notation
Visual Specification of Visual Editors with VisualDiaGen (MM), pp. 473–478.
AGTIVE-2003-Rensink #generative
The GROOVE Simulator: A Tool for State Space Generation (AR), pp. 479–485.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.