TY - BOOK AU - Giandini,Roxana Silvia AU - Pons,Claudia Fabiana TI - Un marco formal para transformaciones en la ingeniería de software conducida por modelos PY - 2007/// KW - TRANSFORMACIÓN DE MODELOS KW - ARQUITECTURA DIRIGIDA POR MODELOS - MDA KW - INGENIERÍA DE SOFTWARE DIRIGIDA POR MODELOS - MDE N1 - 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) UR - http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1088 ER -