Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL

Continuando con nuestra investigación sobre la integración del Lenguaje Unificado de Modelado (UML) y el lenguaje de especificación del método formal RAISE (RSL), presentamos una de las líneas de trabajo en la cual nos encontramos investigando actualmente que consiste en la integración de OCL con RS...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Funes, Ana, Dasso, Aristides
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2005
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21122
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21122
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
Funes, Ana
Dasso, Aristides
Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
Modelos en UML
Especificaciones Formales
Transformaciones de OCL a RSL
description Continuando con nuestra investigación sobre la integración del Lenguaje Unificado de Modelado (UML) y el lenguaje de especificación del método formal RAISE (RSL), presentamos una de las líneas de trabajo en la cual nos encontramos investigando actualmente que consiste en la integración de OCL con RSL. Basándonos en nuestro trabajo previo, donde mostramos cómo obtener a partir de un diagrama de clases en UML una especificación inicial en RSL, nos encontramos construyendo un conjunto de reglas de transformación de restricciones de OCL a RSL.
format Objeto de conferencia
Objeto de conferencia
author Funes, Ana
Dasso, Aristides
author_facet Funes, Ana
Dasso, Aristides
author_sort Funes, Ana
title Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_short Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_full Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_fullStr Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_full_unstemmed Integración de Modelos en UML y Especificaciones Formales: Transformaciones de OCL a RSL
title_sort integración de modelos en uml y especificaciones formales: transformaciones de ocl a rsl
publishDate 2005
url http://sedici.unlp.edu.ar/handle/10915/21122
work_keys_str_mv AT funesana integraciondemodelosenumlyespecificacionesformalestransformacionesdeoclarsl
AT dassoaristides integraciondemodelosenumlyespecificacionesformalestransformacionesdeoclarsl
bdutipo_str Repositorios
_version_ 1764820465478533123

Ejemplares similares