Fabio Gadducci, Leonardo Mariani
Proceedings of the 10th International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2011.

@proceedings{GT-VMT-2011,
	editor        = "Fabio Gadducci and Leonardo Mariani",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the 10th International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 41,
	year          = 2011,
}

Contents (10 items)

3 ×#visual notation
2 ×#graph
2 ×#maude
2 ×#towards

GT-VMT-2011-BlumeBFK

Treewidth, Pathwidth and Cospan Decompositions (CB, HJSB, MF, BK).

GT-VMT-2011-BoronatM #automation #case study #maude #uml

Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).

GT-VMT-2011-BottoniF #diagrams #specification #visual notation

A visual language for temporal specifications based on Spider diagrams (PB, AF).

GT-VMT-2011-BrugginkH #decidability #graph

Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages (HJSB, MH).

GT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).

GT-VMT-2011-EhrigHSB #constraints #graph grammar #model transformation

Propagation of Constraints along Model Transformations Based on Triple Graph Grammars (HE, FH, HS, CB).

GT-VMT-2011-GogollaHXZ #visual notation

Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques (MG, LH, JX, JZ).

GT-VMT-2011-HeckelKM #contract #test coverage #towards #visual notation

Towards Test Coverage Criteria for Visual Contracts (RH, TAK, RM).

GT-VMT-2011-Krause #automaton #distributed

Distributed Port Automata (CK).

GT-VMT-2011-VandinL #graph #maude #model checking #towards

Towards a Maude Tool for Model Checking Temporal Graph Properties (AV, ALL).