Skip to main content
Skip to main navigation menu
Skip to site footer
Open Menu
About
About the Journal
Submissions
Editorial Team
Privacy Statement
Accessiblity Statement
Contact
Current
Archives
Author Templates
Search
Register
Login
Home
/
Archives
/
Vol. 10 (2008): Graph Transformation and Visual Modeling Techniques 2008
Vol. 10 (2008): Graph Transformation and Visual Modeling Techniques 2008
DOI:
https://doi.org/10.14279/tuj.eceasst.10
Published:
2008-07-15
Articles
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars
Florian Brieler, Mark Minas
PDF
Verifying Model Transformations by Structural Correspondence
Anantha Narayanan, Gabor Karsai
PDF
The GP Programming System
Greg Manning, Detlef Plump
PDF
Interaction nets: programming language design and implementation
Abubakar Hassan, Ian Mackie, Shinya Sato
PDF
Negative Application Conditions for Reconfigurable Place/Transition Systems
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg
PDF
Graph Transformations for the Resource Description Framework
Benjamin Braatz, Christoph Brandt
PDF
Visual Design and Reasoning with the Use of Hypergraph Transformations
Ewa Grabska, Grażyna Ślusarczyk, Truong Le
PDF
Dynamic Software Architectures Verification using DynAlloy
Antonio Bucchiarone, Juan P. Galeotti
PDF
Composing control flow and formula rules for computing on grids
Paolo Bottoni, Nikolay Mirenkov, Yutaka Watanobe, Rentaro Yoshioka
PDF
Using Graph Transformation Systems to Specify and Verify Data Abstractions
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga
PDF
A Static Layout Algorithm for DiaMeta
Sonja Maier, Mark Minas
PDF
Extending Graph Query Languages by Reduction
Erhard Weinell
PDF
Type Checking C++ Template Instantiation by Graph Programs
Karl Azab, Karl-Heinz Pennemann
PDF
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences
Leen Lambers, Hartmut Ehrig, Gabriele Taentzer
PDF
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars
Hartmut Ehrig, Karsten Ehrig, Frank Hermann
PDF
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
Enrico Biermann, Tony Modica
PDF
Controlling resource access in Directed Bigraphs
Davide Grohmann, Marino Miculan
PDF
Graph Transformation Model of a Triangulated Network of Mobile Units
Stefan Gruner
PDF
Reconfiguration of Reo Connectors Triggered by Dataflow
Christian Koehler, David Costa, Jose Proenca, Farhad Arbab
PDF
On a Graph-Based Semantics for UML Class and Object Diagrams
Arend Rensink, Anneke Kleppe
PDF
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators
Steffen Mazanek, Mark Minas
PDF
Foundations of Modelling and Simulation of Complex Systems
Hans Vangheluwe
PDF
Improving Live Sequence Chart to Automata Transformation for Verification
Rahul Kumar, Eric Mercer
PDF
A Graph-Based Type Representation for Objects
Cong-Cong Xing
PDF
Preface
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008)
Claudia Ermel, Juan de Lara, Reiko Heckel
PDF
Information
For Readers
For Authors
For Librarians
Usage Statistics Information
We log anonymous usage statistics. Please read the
privacy information
for details.