TY  - THES
T1  - Herramienta para automatizar la transformación UML/OCL a Object-Z
A1  - Becker, Valeria
A2  - Pons, Claudia Fabiana
LA  - Spanish
YR  - 2006
UL  - http://vufind10-pruebas.sigbunlp.bibliotecas.unlp.edu.ar/Record/dif.51938
OP  - 115
KW  - HERRAMIENTAS DE SOFTWARE
KW  - MODELADO DE SOFTWARE
KW  - OBJECT-Z
KW  - UML
KW  - OCL
ER  -