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

Detalles Bibliográficos
Autor Principal: Becker, Valeria
Otros autores o Colaboradores: Pons, Claudia Fabiana (Director/a)
Formato: Tesis
Lengua:español
Datos de publicación: 2006
Temas:
Acceso en línea:Consultar en el Cátalogo
Descripción Física:v, 115 p. : il.col. ; 30 cm + 1 CD-ROM

MARC

LEADER 00000nam a2200000 a 4500
003 AR-LpUFIB
005 20250311170230.0
008 230201s2006 ag a rm 000 0 spa d
024 8 |a DIF-M2132  |b 2214  |z DIF002032 
040 |a AR-LpUFIB  |b spa  |c AR-LpUFIB 
100 1 |a Becker, Valeria 
245 1 0 |a Herramienta para automatizar la transformación UML/OCL a Object-Z 
260 |c 2006 
300 |a v, 115 p. :  |b il.col. ;  |c 30 cm +  |e 1 CD-ROM 
502 |a  Tesina (Licenciatura en Informática) -- Universidad Nacional de La Plata, Facultad de Informática, 2006. 
505 0 |a  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. 
650 4 |a HERRAMIENTAS DE SOFTWARE 
650 4 |a MODELADO DE SOFTWARE 
650 4 |a OBJECT-Z 
650 4 |a UML 
650 4 |a OCL 
700 1 |a Pons, Claudia Fabiana ,  |e Director/a 
942 |c TE 
952 |0 0  |1 0  |4 0  |6 TES_0612  |7 1  |9 76143  |a DIF  |b DIF  |d 2007-09-06  |i DIF-02920  |l 0  |o TES 06/12   |p DIF-02920  |r 2025-03-11 17:02:30  |w 2025-03-11  |x  + CD-373   |y TE 
999 |c 51938  |d 51938