Resumen:
Las tranformaciones de modelos son un elemento esencial en la Ingeniería Dirigida por Modelos (Model-driven Engineering, MDE) y por ello una tarea que está cobrando relevancia es probar su corrección. Los Tracts ofrecen un enfoque modular y extensible para la especificación y verificación de transformaciones de modelos. Este trabajo presenta TractsTool, una herramienta desarrollada en Eclipse que implementa los mecanismos que proporcionan los Tracts.
Descargas:
Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)
Descarga el artículo haciendo click aquí.
Ver la referencia en formato Bibtex
@inproceedings{jisbd:2012:066,
title={{Prueba de Transformaciones de Modelos con TractsTool}},
author={Manuel Wimmer and Loli Burgue{\~n}o and Antonio Vallecillo},
url={http://hdl.handle.net/11705/JISBD/2012/066},
booktitle={JISBD2012},
year={2012},
publisher={SISTEDES},
crossref={jisbd2012almeria}
}
@proceedings{jisbd2012almeria,
title={{Actas de las XVII Jornadas de Ingenier{\'i}a del Software y Bases de Datos (JISBD 2012)}},
editor={Ru{\'i}z-Cort{\'e}s, A. e Iribarne, L. (Eds.)},
booktitle={JISBD2012},
year={2012},
publisher={SISTEDES}
}
Copiar al portapapeles |
Cerrar