


default search action
5th GT-VMT@ETAPS 2006: Vienna, Austria
- Roberto Bruni, Dániel Varró:

Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006. Electronic Notes in Theoretical Computer Science 211, Elsevier 2008 - Roberto Bruni

, Dániel Varró
:
Preface. 1-3 - Jana Koehler, Rainer Hauser, Jochen Malte Küster, Ksenia Ryndina, Jussi Vanhatalo, Michael Wahler:

The Role of Visual Modeling and Model Transformations in Business-driven Development. 5-15 - Leen Lambers, Hartmut Ehrig, Fernando Orejas

:
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs. 17-26 - Ivan Lanese

:
Exploiting User-definable Synchronizations in Graph Transformation. 27-38 - Paolo Baldan, Andrea Corradini

, Fernando Luís Dotti
, Luciana Foss, Fabio Gadducci
, Leila Ribeiro:
Towards a Notion of Transaction in Graph Rewriting. 39-50 - Arend Rensink

, Ronald Nederpel:
Graph Transformation Semantics for a QVT Language. 51-62 - Mika Siikarla, Tarja Systä:

Transformational Pattern System - Some Assembly Required. 63-74 - Andrea Darabos, András Pataricza

, Dániel Varró
:
Towards Testing the Implementation of Graph Transformations. 75-85 - Paolo Bottoni

, Francesco Parisi-Presicce, Simone Pulcini, Gabriele Taentzer:
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse. 87-98 - Esther Guerra

, Paloma Díaz
, Juan de Lara:
Visual Specification of Metrics for Domain Specific Visual Languages. 99-110 - Andreas Kunert:

Semi-automatic Generation of Metamodels and Models From Grammars and Programs. 111-119 - Gergely Varró:

Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries. 121-132 - Pieter Van Gorp

, Hans Schippers, Dirk Janssens:
Copying Subgraphs Within Model Repositories. 133-145 - Marco Autili

, Patrizio Pelliccione
:
Towards a Graphical Tool for Refining User to System Requirements. 147-157 - Jessica Winkelmann, Gabriele Taentzer, Karsten Ehrig, Jochen Malte Küster:

Translation of Restricted OCL Constraints into Graph Constraints for Generating Meta Model Instances by Graph Grammars. 159-170 - Edward D. Willink:

On Challenges for a Graphical Transformation Notation and the UMLX Approach. 171-179 - Johannes Jakob, Andy Schürr:

View Creation of Meta Models by Using Modified Triple Graph Grammars. 181-190 - Anantha Narayanan, Gabor Karsai

:
Towards Verifying Model Transformations. 191-200 - Barbara König, Vitali Kozioura:

Augur 2 - A New Version of a Tool for the Analysis of Graph Transformation Systems. 201-210 - Ke Xu, Ying Liu, Cheng Wu:

BPSL Modeler - Visual Notation Language for Intuitive Business Property Reasoning. 211-220 - Máté Kovács, László Gönczy:

Simulation and Formal Analysis of Workflow Models. 221-230 - Greg Manning, Detlef Plump:

The York Abstract Machine. 231-240 - Mark Minas, Berthold Hoffmann

:
An Example of Cloning Graph Transformation Rules for Programming. 241-250 - Benjamin Braatz

:
A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems. 251-260 - Frank Hermann, Hartmut Ehrig, Gabriele Taentzer:

A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams. 261-269

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














