Describir: Especificación y verificación de transformaciones de modelos :informe de proyecto de grado presentado al Tribunal Evaluador como requisito de graduación de la carrera Ingeniería en Computación