Dias Molina, María José <br/><br/>
Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML 

 -  2011 
 - x, 153p.  ;  30 cm.   +  1 CD-ROM 
<br/><br/>Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011. 
<br/><br/><label>Standard No.: </label>DIF-M5996 
<br/><br/><label>Subjects--Topical Terms: </label><br/>UML
<br/><br/><label>Subjects--Index Terms: </label>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