25 search results - page 2 / 5 » Graph transformation tool contest 2008 |
ECEASST
2008
13 years 5 months ago
2008
STTT
2010
13 years 3 months ago
2010
This article proposes a case study to evaluate the suitability of graph transformation tools for program refactoring. In order to qualify for this purpose, a graph transformation s...
ENTCS
2008
13 years 5 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
GG
2008
Springer
13 years 6 months ago
2008
Springer
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
SOSYM
2010
13 years 3 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...