Herramienta para automatizar la transformación UML/OCL a Object-Z

Título:

Herramienta para automatizar la transformación UML/OCL a Object-Z

Autor:

Becker, Valeria

Otros autores / Colaboradores:

 Pons, Claudia Fabiana; [ Director/a] 

Temas:

HERRAMIENTAS DE SOFTWARE; MODELADO DE SOFTWARE; OBJECT-Z; UML; OCL; 

URL:

,

Nota de tesis:

Tesina (Licenciatura en Informática) -- Universidad Nacional de La Plata, Facultad de Informática, 2006.

Extensión:

v, 115 p. :  il.col. +  1 CD-ROM

Puede solicitar más fácilmente el ejemplar con: TES 06/12

1- Introducción  2- Sintaxis de un subconjunto de expresiones OCL  3- Traducción de modelo UML con expresiones OCL a Object-Z  4- Implementación  5- Conclusiones y trabajos futuros
Referencias
Apéndice A.
Contenido del disco: Demo, versión electrónica del informe (formatos RTF, PDF y DOC).
Disponibles en PDF la presentación de la tesis y el informe final.