Formal specification and testing of model transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - International School on …, 2012 - Springer
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …
被引用次数：79 相关文章
[PDF] tuwien.ac.at

[PDF][PDF] Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - publik.tuwien.ac.at
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …
[PDF] psu.edu

[PDF][PDF] Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - Citeseer
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …
[PDF] uni-bremen.de

[PDF][PDF] Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - db.informatik.uni-bremen.de
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …

Formal specification and testing of model transformations

A Vallecillo, M Gogolla, L Burgueño… - Proceedings of the 12th …, 2012 - dl.acm.org
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …

Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - Formal Methods for …, 2012 - Springer
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …
[PDF] researchgate.net

[PDF][PDF] Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - researchgate.net
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …
[PDF] academia.edu

[PDF][PDF] Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - academia.edu
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …

Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno… - Formal Methods for …, 2012 - books.google.com
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …
[PDF] uma.es

[PDF][PDF] Formal Specification and Testing of Model Transformations

A Vallecillo, M Gogolla, L Burgueno, M Wimmer… - lcc.uma.es
In this paper we present some of the key issues involved in model transformation
specification and testing, discuss and classify some of the existing approaches, and …