default search action
Electronic Communication of the European Association of Software Science and Technology, Volume 10
Volume 10: Graph Transformation and Visual Modeling Techniques 2008
- Claudia Ermel, Juan de Lara, Reiko Heckel:
Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).
- Hartmut Ehrig, Karsten Ehrig, Frank Hermann:
From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars. - Anantha Narayanan, Gabor Karsai:
Verifying Model Transformations by Structural Correspondence. - Erhard Weinell:
Extending Graph Query Languages by Reduction. - Rahul Kumar, Eric G. Mercer:
Improving Live Sequence Chart to Automata Transformation for Verification. - Paolo Bottoni, Nikolay N. Mirenkov, Yutaka Watanobe, Rentaro Yoshioka:
Composing control flow and formula rules for computing on grids. - Arend Rensink, Anneke Kleppe:
On a Graph-Based Semantics for UML Class and Object Diagrams. - Benjamin Braatz, Christoph Brandt:
Graph Transformations for the Resource Description Framework. - Davide Grohmann, Marino Miculan:
Controlling resource access in Directed Bigraphs. - Abubakar Hassan, Ian Mackie, Shinya Sato
:
Interaction nets: programming language design and implementation. - Leen Lambers, Hartmut Ehrig, Gabriele Taentzer:
Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences. - Florian Brieler, Mark Minas:
Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars. - Sonja Maier, Mark Minas:
A Static Layout Algorithm for DiaMeta. - Hans Vangheluwe:
Foundations of Modelling and Simulation of Complex Systems. - Antonio Bucchiarone, Juan P. Galeotti:
Dynamic Software Architectures Verification using DynAlloy. - Christian Koehler, David Costa, José Proença, Farhad Arbab:
Reconfiguration of Reo Connectors Triggered by Dataflow. - Alexander Rein, Ulrike Prange
Negative Application Conditions for Reconfigurable Place/Transition Systems. - Enrico Biermann, Tony Modica:
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets. - Greg Manning, Detlef Plump:
The GP Programming System. - Karl Azab, Karl-Heinz Pennemann:
Type Checking C++ Template Instantiation by Graph Programs. - Cong-Cong Xing:
A Graph-Based Type Representation for Objects. - Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga:
Using Graph Transformation Systems to Specify and Verify Data Abstractions. - Steffen Mazanek, Mark Minas:
Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators. - Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan Le:
Visual Design and Reasoning with the Use of Hypergraph Transformations. - Stefan Gruner:
Graph Transformation Model of a Triangulated Network of Mobile Units.
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.
last updated on 2024-12-15 01:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: