Implementación de técnicas de evaluación y refinamiento para OCL 2.0 sobre múltiples lenguajes basados en MOF
Material type:
Item type | Home library | Collection | Call number | URL | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | Biblioteca digital | Link to resource | No corresponde | ||||
![]() |
Biblioteca de la Facultad de Informática | TES 08/06 (Browse shelf(Opens below)) | Consulta en Sala | DIF-03232 |
Browsing Biblioteca de la Facultad de Informática shelves Close shelf browser (Hides shelf browser)
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)