Quiroga, Pablo. Construcción de un componente de verificación de DOO basado en un metamodelo formal, Junio 2006
Título: Construcción de un componente de verificación de DOO basado en un metamodelo formal Autor: Pablo Daniel Quiroga Directores: Lic. Silvia Amaro – Lic. Gabriela Aranda Carrera: Licenciatura en Ciencias de la Computación Fecha de defensa: 09 de junio de 2006 Resumen El propósito de la presente tesis de grado es la construcción de un componente de software que […]





