Un marco formal para transformaciones en la ingeniería de software conducida por modelos

Tesis (Doctorado en Ciencias Informáticas) - Universidad Nacional de La Plata, Facultad de Informática, 2007.

1- Introducción 2- Conceptos básicos sobre transformación de modelos 3- SQVT: Una simplificación de QVT basada en estándares OMG 4- La teoría intuitiva de problemas como base formal para lenguajes de transformación de modelos 5- Conceptos básicos sobre composición de transformaciones 6- La teoría algebraica de problemas como base formal para la composición de transformaciones 7- Análisis de los casos de aplicación de las operaciones del Álgebra 8- Prototipo de implementación 9- Trabajos relacionados 10- Conclusiones -- Glosario de siglas y términos -- Referencias bibliográficas. -- Disponible en PDF la presentación y el resumen de la tesis -- La tesis disponible también en línea (Consulta 24/02/2009)