Una integración de modelos estáticos UML y Eiffel

Las técnicas formales y semiformales de especificación de software pueden jugar roles complementarios en el desarrollo de software orientado a objetos. Se describe en este trabajo un método de ingeniería “forward” de modelos estáticos UML basado en la integración de notaciones semiformales UML, espe...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Favre, Liliana María, Martínez, C., Pereira, C.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2001
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
modelos estáticos
Languages
UML
Eiffel
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23255
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23255
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 estáticos
Languages
UML
Eiffel
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
modelos estáticos
Languages
UML
Eiffel
Favre, Liliana María
Martínez, C.
Pereira, C.
Una integración de modelos estáticos UML y Eiffel
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
modelos estáticos
Languages
UML
Eiffel
description Las técnicas formales y semiformales de especificación de software pueden jugar roles complementarios en el desarrollo de software orientado a objetos. Se describe en este trabajo un método de ingeniería “forward” de modelos estáticos UML basado en la integración de notaciones semiformales UML, especificaciones algebraicas y código. Eiffel fue seleccionado como lenguaje orientado a objetos. El énfasis está puesto en la descripción de una de las etapas del método: la transformación de especificaciones algebraicas a Eiffel. En particular, se analizan las transformaciones para los diferentes tipos de relaciones UML.
format Objeto de conferencia
Objeto de conferencia
author Favre, Liliana María
Martínez, C.
Pereira, C.
author_facet Favre, Liliana María
Martínez, C.
Pereira, C.
author_sort Favre, Liliana María
title Una integración de modelos estáticos UML y Eiffel
title_short Una integración de modelos estáticos UML y Eiffel
title_full Una integración de modelos estáticos UML y Eiffel
title_fullStr Una integración de modelos estáticos UML y Eiffel
title_full_unstemmed Una integración de modelos estáticos UML y Eiffel
title_sort una integración de modelos estáticos uml y eiffel
publishDate 2001
url http://sedici.unlp.edu.ar/handle/10915/23255
work_keys_str_mv AT favrelilianamaria unaintegraciondemodelosestaticosumlyeiffel
AT martinezc unaintegraciondemodelosestaticosumlyeiffel
AT pereirac unaintegraciondemodelosestaticosumlyeiffel
bdutipo_str Repositorios
_version_ 1764820466021695488

Ejemplares similares