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.