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

By:

Becker, Valeria

Contributor(s):

Pons, Claudia Fabiana [Director/a]

Material type: Text

TextPublication details: 2006Description: v, 115 p. : il.col. ; 30 cm + 1 CD-ROMSubject(s):

Contents:

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.

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Call number	Status	Date due	Barcode
Tesis de posgrado	Biblioteca de la Facultad de Informática	TES 06/12 (Browse shelf(Opens below))	Consulta en Sala		DIF-02920

Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)

Previous								Next
Previous	TES 06/09 Integración de aplicaciones/servicios basados en Web usando firma digital	TES 06/10 Arquitectura orientada a objetos para análisis de datos en agricultura de precisión	TES 06/11 Diagramática : una formalización para la construcción de lenguajes visuales	TES 06/12 Herramienta para automatizar la transformación UML/OCL a Object-Z	TES 06/13 UIDRe : herramienta Case de UIDs para el proceso de análisis de requerimientos	TES 06/14 Evaluación de enfoques de implementación de lenguajes de dominio específico	TES 06/15 Utilizando orientación a aspectos en concerns aplicativos	Next

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

Click on an image to view it in the image viewer