Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
Dias Molina, María José
Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML - 2011 - x, 153p. ; 30 cm. + 1 CD-ROM
Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
DIF-M5996
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
Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML - 2011 - x, 153p. ; 30 cm. + 1 CD-ROM
Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011.
DIF-M5996
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