Integrando modelos en UML y especificaciones formales

En el presente informe se dan los lineamientos generales de un proyecto de desarrollo de software para la integración de una herramienta gráfica de diseño de diagramas de clases en UML y un generador de especificaciones formales en RSL. Esta integración permitirá que un ingeniero de software realice...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Funes, Ana, Dasso, Aristides, Riesco, Daniel Eduardo, Montejano, Germán Antonio
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2004
Materias:
Ciencias Informáticas
Modelos en UML
SOFTWARE ENGINEERING
Especificaciones Formales
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21300
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-21300
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
Modelos en UML
SOFTWARE ENGINEERING
Especificaciones Formales
spellingShingle Ciencias Informáticas
Modelos en UML
SOFTWARE ENGINEERING
Especificaciones Formales
Funes, Ana
Dasso, Aristides
Riesco, Daniel Eduardo
Montejano, Germán Antonio
Integrando modelos en UML y especificaciones formales
topic_facet Ciencias Informáticas
Modelos en UML
SOFTWARE ENGINEERING
Especificaciones Formales
description En el presente informe se dan los lineamientos generales de un proyecto de desarrollo de software para la integración de una herramienta gráfica de diseño de diagramas de clases en UML y un generador de especificaciones formales en RSL. Esta integración permitirá que un ingeniero de software realice especificaciones formales asociadas a modelos semi-formales en UML trabajando en un ambiente integrado de desarrollo.
format Objeto de conferencia
Objeto de conferencia
author Funes, Ana
Dasso, Aristides
Riesco, Daniel Eduardo
Montejano, Germán Antonio
author_facet Funes, Ana
Dasso, Aristides
Riesco, Daniel Eduardo
Montejano, Germán Antonio
author_sort Funes, Ana
title Integrando modelos en UML y especificaciones formales
title_short Integrando modelos en UML y especificaciones formales
title_full Integrando modelos en UML y especificaciones formales
title_fullStr Integrando modelos en UML y especificaciones formales
title_full_unstemmed Integrando modelos en UML y especificaciones formales
title_sort integrando modelos en uml y especificaciones formales
publishDate 2004
url http://sedici.unlp.edu.ar/handle/10915/21300
work_keys_str_mv AT funesana integrandomodelosenumlyespecificacionesformales
AT dassoaristides integrandomodelosenumlyespecificacionesformales
AT riescodanieleduardo integrandomodelosenumlyespecificacionesformales
AT montejanogermanantonio integrandomodelosenumlyespecificacionesformales
bdutipo_str Repositorios
_version_ 1764820464382771200

Ejemplares similares