Volume 41: Graph Transformation and Visual Modeling Techniques 2011

DOI: http://dx.doi.org/10.14279/tuj.eceasst.41

Table of Contents

Preface

Preface
Fabio Gadducci, Leonardo Mariani
PDF

Articles

Towards Test Coverage Criteria for Visual Contracts
Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado
PDF
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars
Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt
PDF
Automated Model Synchronization: A Case Study on UML with Maude
Artur Boronat, José Meseguer
PDF
Distributed Port Automata
Christian Krause
PDF
Towards a Maude Tool for Model Checking Temporal Graph Properties
Andrea Vandin, Alberto Lluch Lafuente
PDF
A visual language for temporal specifications based on Spider diagrams
Paolo Bottoni, Andrew Fish
PDF
Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques
Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang
PDF
Treewidth, Pathwidth and Cospan Decompositions
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König
PDF
Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation
Dominique Duval, Rachid Echahed, Frederic Prost
PDF
Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages
H. J. Sander Bruggink, Mathias Hülsbusch
PDF