Electronic Communication of the European Association of Software Science and Technology, Volume 10

Volume 10: Graph Transformation and Visual Modeling Techniques 2008

- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/ErmelLH08
- ask others
Claudia Ermel, Juan de Lara, Reiko Heckel: Preface of Proceedings 7th International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008).

Articles

- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/EhrigEH08
- ask others
Hartmut Ehrig, Karsten Ehrig, Frank Hermann: From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/NarayananK08
- ask others
Anantha Narayanan, Gabor Karsai: Verifying Model Transformations by Structural Correspondence.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Weinell08
- ask others
Erhard Weinell: Extending Graph Query Languages by Reduction.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/KumarM08
- ask others
Rahul Kumar, Eric G. Mercer: Improving Live Sequence Chart to Automata Transformation for Verification.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BottoniMWY08
- ask others
Paolo Bottoni, Nikolay N. Mirenkov, Yutaka Watanobe, Rentaro Yoshioka: Composing control flow and formula rules for computing on grids.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/RensinkK08
- ask others
Arend Rensink, Anneke Kleppe: On a Graph-Based Semantics for UML Class and Object Diagrams.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BraatzB08
- ask others
Benjamin Braatz, Christoph Brandt: Graph Transformations for the Resource Description Framework.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/GrohmannM08
- ask others
Davide Grohmann, Marino Miculan: Controlling resource access in Directed Bigraphs.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/HassanMS08
- ask others
Abubakar Hassan, Ian Mackie, Shinya Sato: Interaction nets: programming language design and implementation.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/LambersET08
- ask others
Leen Lambers, Hartmut Ehrig, Gabriele Taentzer: Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BrielerM08
- ask others
Florian Brieler, Mark Minas: Ambiguity Resolution for Sketched Diagrams by Syntax Analysis Based on Graph Grammars.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/MaierM08
- ask others
Sonja Maier, Mark Minas: A Static Layout Algorithm for DiaMeta.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Vangheluwe08
- ask others
Hans Vangheluwe: Foundations of Modelling and Simulation of Complex Systems.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BucchiaroneG08
- ask others
Antonio Bucchiarone, Juan P. Galeotti: Dynamic Software Architectures Verification using DynAlloy.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/KoehlerCPA08
- ask others
Christian Koehler, David Costa, José Proença, Farhad Arbab: Reconfiguration of Reo Connectors Triggered by Dataflow.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/ReinPLHP08
- ask others
Alexander Rein, Ulrike Prange, Leen Lambers, Kathrin Hoffmann, Julia Padberg: Negative Application Conditions for Reconfigurable Place/Transition Systems.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BiermannM08
- ask others
Enrico Biermann, Tony Modica: Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/ManningP08
- ask others
Greg Manning, Detlef Plump: The GP Programming System.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/AzabP08
- ask others
Karl Azab, Karl-Heinz Pennemann: Type Checking C++ Template Instantiation by Graph Programs.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Xing08
- ask others
Cong-Cong Xing: A Graph-Based Type Representation for Objects.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/BaresiGMM08
- ask others
Luciano Baresi, Carlo Ghezzi, Andrea Mocci, Mattia Monga: Using Graph Transformation Systems to Specify and Verify Data Abstractions.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/MazanekM08
- ask others
Steffen Mazanek, Mark Minas: Parsing of Hyperedge Replacement Grammars with Graph Parser Combinators.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/GrabskaSL08
- ask others
Ewa Grabska, Grazyna Maria Slusarczyk, Truong Lan Le: Visual Design and Reasoning with the Use of Hypergraph Transformations.
- view
  - electronic edition @ tu-berlin.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eceasst/Gruner08
- ask others
Stefan Gruner: Graph Transformation Model of a Triangulated Network of Mobile Units.