Un método riguroso para la reusabilidad de software orientado a objetos

Se presenta en este trabajo un método riguroso para la reusabilidad de software orientado a objetos, enmarcado en el modelo de ciclo de vida transfonnacional y el lenguaje de especificación algebraica GSBL. La estrategia básica para la generación semiatomática de código es la transfonnación de una...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Favre, Liliana María
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 1995
Materias:
Ciencias Informáticas
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/24275
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-24275
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
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
spellingShingle Ciencias Informáticas
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
Favre, Liliana María
Un método riguroso para la reusabilidad de software orientado a objetos
topic_facet Ciencias Informáticas
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
description Se presenta en este trabajo un método riguroso para la reusabilidad de software orientado a objetos, enmarcado en el modelo de ciclo de vida transfonnacional y el lenguaje de especificación algebraica GSBL. La estrategia básica para la generación semiatomática de código es la transfonnación de una biblioteca de componentes reusables mediante operadores de enriquecimiento, especialización, renombre y composición. Una componente reusable es un árbol de especificaciones algebraicas y esquemas de clases concretas: la raíz del árbol es la descripción más abstracta, una relación de implementación vincula nodos en el árbol y las hojas referencian esquemas de clases concretas en un lenguaje orientado a objetos. El método posibilita la construcción de implementaciones en fonna modular a partir de especificaciones abstractas reusando "piezas de implementación" referenciadas en las hojas de las componentes reusables.
format Objeto de conferencia
Objeto de conferencia
author Favre, Liliana María
author_facet Favre, Liliana María
author_sort Favre, Liliana María
title Un método riguroso para la reusabilidad de software orientado a objetos
title_short Un método riguroso para la reusabilidad de software orientado a objetos
title_full Un método riguroso para la reusabilidad de software orientado a objetos
title_fullStr Un método riguroso para la reusabilidad de software orientado a objetos
title_full_unstemmed Un método riguroso para la reusabilidad de software orientado a objetos
title_sort un método riguroso para la reusabilidad de software orientado a objetos
publishDate 1995
url http://sedici.unlp.edu.ar/handle/10915/24275
work_keys_str_mv AT favrelilianamaria unmetodorigurosoparalareusabilidaddesoftwareorientadoaobjetos
bdutipo_str Repositorios
_version_ 1764820466890964992

Ejemplares similares