Navegación

Búsqueda

Búsqueda avanzada

Prueba de Transformaciones de Modelos con TractsTool

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.

Palabras Clave:

MDE - Tracts - Transformaciones de Modelos

Autor(es):

Handle:

11705/JISBD/2012/066

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.