Frank Hermann, Stefan Sauer
Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques
GT-VMT, 2014.

@proceedings{GT-VMT-2014,
	editor        = "Frank Hermann and Stefan Sauer",
	journal       = "{Electronic Communications of the EASST}",
	title         = "{Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques}",
	volume        = 67,
	year          = 2014,
}

Contents (8 items)

2 ×#adaptation
2 ×#modelling
2 ×#towards

GT-VMT-2014-AlshanqitiH #contract #java #reverse engineering #towards #visual notation

Towards Dynamic Reverse Engineering Visual Contracts from Java (AMA, RH).

GT-VMT-2014-BrennerGHLST #case study #realtime #sequence #testing #validation

ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study (CB, JG, JH, GL, GS, MT).

GT-VMT-2014-DeckwerthV #constraints #generative #graph transformation #higher-order

Generating Preconditions from Graph Constraints by Higher Order Graph Transformation (FD, GV).

GT-VMT-2014-HusseinHDS #adaptation #modelling #network

Modelling Adaptive Networks: The Case of the Petrified Voters (MH, RH, VD, PS).

GT-VMT-2014-LeblebiciASHRG #comparison #graph grammar #incremental #tool support

A Comparison of Incremental Triple Graph Grammar Tools (EL, AA, AS, SH, JR, JG).

GT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface

Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).

GT-VMT-2014-WangBL #alloy #graph #model transformation #using #verification

Verification of Graph-based Model Transformations Using Alloy (XW, FB, YL).

GT-VMT-2014-ZambonR #problem #towards

Solving the N-Queens Problem with GROOVE — Towards a Compendium of Best Practices (EZ, AR).