TY  - BOOK
AU  - Dias Molina,María José
AU  - Dodero Mena,Diego Matías
TI  - Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
PY  - 2011///
KW  - UML
KW  - OCL
KW  - JML
KW  - Comparación OCL Y JML
KW  - OCLE
KW  - Desarrollo dirigido por modelos (MDD)
KW  - Verificación de programas
KW  - ESC/Java2
KW  - Sireum/Kiassan
KW  - JML4c
KW  - OpenJML
KW  - Eclipse
KW  - Traducción OCL a JML
KW  - Colecciones OCL
KW  - Jack
KW  - Loop
KW  - Key
KW  - MOFScript
KW  - Metamodelos
N1  -  Tesina (Licenciatura en Sistemas, Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1840
ER  -