Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques
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

Claudia Ermel, Juan de Lara, Reiko Heckel
Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2008.

GRAPH
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{GT-VMT-2008,
	doi           = "10.14279/tuj.eceasst.10",
	editor        = "Claudia Ermel and Juan de Lara and Reiko Heckel",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 10,
	year          = 2008,
}

Contents (24 items)

GT-VMT-2008-AzabP #c++ #graph #source code #type checking
Type Checking C++ Template Instantiation by Graph Programs (KA, KHP).
GT-VMT-2008-BaresiGMM #abstraction #graph transformation #using #verification
Using Graph Transformation Systems to Specify and Verify Data Abstractions (LB, CG, AM, MM).
GT-VMT-2008-BiermannM #analysis #configuration management #independence #rule-based
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets (EB, TM).
GT-VMT-2008-BottoniMWY #control flow
Composing control flow and formula rules for computing on grids (PB, NNM, YW, RY).
GT-VMT-2008-BraatzB #framework #graph transformation
Graph Transformations for the Resource Description Framework (BB, CB).
GT-VMT-2008-BrielerM #ambiguity #analysis #diagrams #graph grammar #sketching #syntax
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars (FB, MM).
GT-VMT-2008-BucchiaroneG #architecture #using #verification
Dynamic Software Architectures Verification using DynAlloy (AB, JPG).
GT-VMT-2008-EhrigEH #algebra #approach #graph grammar #integration #model transformation
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars (HE, KE, FH).
GT-VMT-2008-GrabskaSL #design #graph transformation #reasoning #using #visual notation
Visual Design and Reasoning with the Use of Hypergraph Transformations (EG, GMS, TLL).
GT-VMT-2008-GrohmannM #graph #resource management
Controlling resource access in Directed Bigraphs (DG, MM).
GT-VMT-2008-Gruner #graph transformation #mobile #network
Graph Transformation Model of a Triangulated Network of Mobile Units (SG).
GT-VMT-2008-HassanMS #design #implementation #interactive #programming language
Interaction nets: programming language design and implementation (AH, IM, SS).
GT-VMT-2008-KoehlerCPA #configuration management #data flow
Reconfiguration of Reo Connectors Triggered by Dataflow (CK, DC, JP, FA).
GT-VMT-2008-KumarM #automaton #sequence chart #verification
Improving Live Sequence Chart to Automata Transformation for Verification (RK, EGM).
GT-VMT-2008-LambersET #sequence
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences (LL, HE, GT).
GT-VMT-2008-MaierM #algorithm #layout
A Static Layout Algorithm for DiaMeta (SM, MM).
GT-VMT-2008-ManningP #programming
The GP Programming System (GM, DP).
GT-VMT-2008-MazanekM #combinator #graph #parsing
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators (SM, MM).
GT-VMT-2008-NarayananK #model transformation #verification
Verifying Model Transformations by Structural Correspondence (AN, GK).
GT-VMT-2008-ReinPLHP #configuration management
Negative Application Conditions for Reconfigurable Place/Transition Systems (AR, UP, LL, KH, JP).
GT-VMT-2008-RensinkK #diagrams #graph #on the #semantics #uml
On a Graph-Based Semantics for UML Class and Object Diagrams (AR, AK).
GT-VMT-2008-Vangheluwe #modelling #simulation
Foundations of Modelling and Simulation of Complex Systems (HV).
GT-VMT-2008-Weinell #graph #query #reduction
Extending Graph Query Languages by Reduction (EW).
GT-VMT-2008-Xing #graph #representation
A Graph-Based Type Representation for Objects (CCX).

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.