Local cover image
Local cover image

Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF

By: Contributor(s): Material type: TextTextPublication details: 2008Description: 92 h. : il. ; 30 cmSubject(s): Online resources:
Contents:
1- Introducción 2- MOF y metamodelos 3- Uso de OCL en modelos basados en MOF 4- Metamodelo de la sintaxis abstracta de OCL 2.0 5- Estrategia de evaluación para las condiciones de refinamientos en modelos UML/OCL 6- Implementación 7- Trabajos relacionados 8- conclusiones finales y futuros trabajos 9- Referencias 10- Anexos: Transformación de las condiciones de refinamiento de Object-Z a OCL ; Gramática de OCL 2.0 ; Ejemplo de un archivo .jj ; Tipos básicos de OCL. -- Disponible también en línea (Consulta 24/02/2009)
Dissertation note: Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata, Facultad de Informática, 2008.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Collection Call number URL Status Date due Barcode
Tesis de posgrado Tesis de posgrado Biblioteca de la Facultad de Informática Biblioteca digital Link to resource No corresponde
Tesis de posgrado Tesis de posgrado Biblioteca de la Facultad de Informática TES 08/06 (Browse shelf(Opens below)) Consulta en Sala DIF-03232

Tesis (Maestría en Ingeniería de Software) - Universidad Nacional de La Plata, Facultad de Informática, 2008.

1- Introducción 2- MOF y metamodelos 3- Uso de OCL en modelos basados en MOF 4- Metamodelo de la sintaxis abstracta de OCL 2.0 5- Estrategia de evaluación para las condiciones de refinamientos en modelos UML/OCL 6- Implementación 7- Trabajos relacionados 8- conclusiones finales y futuros trabajos 9- Referencias 10- Anexos: Transformación de las condiciones de refinamiento de Object-Z a OCL ; Gramática de OCL 2.0 ; Ejemplo de un archivo .jj ; Tipos básicos de OCL. -- Disponible también en línea (Consulta 24/02/2009)

Click on an image to view it in the image viewer

Local cover image