TY  - THES
T1  - Desarrollo de una herramienta para derivación automática de especificaciones OCL a JML
A1  - Dias Molina, María José
A2  - Dodero Mena, Diego Matías
LA  - Spanish
YR  - 2011
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.55335
OP  - 153
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
ER  -