Vol. 41 (2011): Graph Transformation and Visual Modeling Techniques 2011

DOI: https://doi.org/10.14279/tuj.eceasst.41

Published: 2011-10-27

Preface

Preface

Fabio Gadducci, Leonardo Mariani
- PDF

Articles

Towards a Maude Tool for Model Checking Temporal Graph Properties

Andrea Vandin, Alberto Lluch Lafuente
- PDF
Automated Model Synchronization: A Case Study on UML with Maude

Artur Boronat, José Meseguer
- PDF
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages

H. J. Sander Bruggink, Mathias Hülsbusch
- PDF
Towards Test Coverage Criteria for Visual Contracts

Reiko Heckel, Tamim Khan, Rodrigo Machado
- PDF
Treewidth, Pathwidth and Cospan Decompositions

Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König
- PDF
A visual language for temporal specifications based on Spider diagrams

Paolo Bottoni, Andrew Fish
- PDF
Distributed Port Automata

Christian Krause
- PDF
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars

Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
- PDF
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation

Dominique Duval, Rachid Echahed, Frederic Prost
- PDF
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques

Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang
- PDF