Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML

Detalles Bibliográficos
Autor Principal:	Dias Molina, María José
Otros autores o Colaboradores:	Dodero Mena, Diego Matías
Formato:	Tesis
Lengua:	español
Datos de publicación:	2011
Temas:	UML OCL JML Comparación OCL Y JML OCLE Desarrollo dirigido por modelos (MDD) Verificación de programas ESC/Java2 Sireum/Kiassan JML4c OpenJML Eclipse Traducción OCL a JML Colecciones OCL Jack Loop Key MOFScript Metamodelos
Acceso en línea:	http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1840 Consultar en el Cátalogo
Descripción Física:	x, 153p. ; 30 cm. + 1 CD-ROM

Ejemplares similares