Repositorio de producción científica de la Universidad de Sevilla

TractsTool: Testing Model Transformations based on Contracts

Opened Access TractsTool: Testing Model Transformations based on Contracts
Estadísticas
Icon
Exportar a
Autor: Burgueño, Loli
Wimmer, Manuel
Troya Castilla, Javier
Vallecillo Moreno, Antonio
Departamento: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Fecha: 2013
Publicado en: MODELS-JP 2013: Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (2013), p 76-80
ISBN/ISSN: 1613-0073
Tipo de documento: Ponencia
Resumen: Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, based on contracts.
Cita: Burgueño, L., Wimmer, M., Troya Castilla, J. y Vallecillo Moreno, A. (2013). TractsTool: Testing Model Transformations based on Contracts. En MODELS-JP 2013: Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (76-80), Miami, USA: CEUR-WS.
Tamaño: 243.5Kb
Formato: PDF

URI: https://hdl.handle.net/11441/73406

Ver versión del editor

Mostrar el registro completo del ítem


Esta obra está bajo una Licencia Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Este registro aparece en las siguientes colecciones