Generación de micromundos para transformaciones de modelos

Escribir transformaciones de modelos es una tarea compleja y propensa a errores. Garantizar formalmente la correctitud de estas transformaciones es difícil, siendo requeridas técnicas de verificación formal. Una aproximación alternativa es la validación por testeo. El testeo de una trasformación de...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Saporiti, Martín, Castro Manacero, María Noel
Otros Autores: Pons, Claudia
Formato: Tesis Tesis de grado
Lenguaje:Español
Publicado: 2007
Materias:
Ciencias Informáticas
software
lenguaje de programación
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/3974
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares