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

Autores
Favre, Liliana María
Año de publicación
1995
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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.
Eje: Modelos de datos
Red de Universidades con Carreras en Informática (RedUNCI)
Materia
Ciencias Informáticas
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/24275
Acceder
id SEDICI_a1d39ffd09309e0b6223f8d8a5831d1d
oai_identifier_str oai:sedici.unlp.edu.ar:10915/24275
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Un método riguroso para la reusabilidad de software orientado a objetosFavre, Liliana MaríaCiencias InformáticasFormal methodsmétodos formalesSoftwarereusabilidadData modelsespecificaciones algebraicasprogramación transfonnacionalprogramación orientada a objetosSe 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.Eje: Modelos de datosRed de Universidades con Carreras en Informática (RedUNCI)1995-10info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf79-89http://sedici.unlp.edu.ar/handle/10915/24275spainfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/2.5/ar/Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-03T10:28:34Zoai:sedici.unlp.edu.ar:10915/24275Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-03 10:28:34.891SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Un método riguroso para la reusabilidad de software orientado a objetos
title Un método riguroso para la reusabilidad de software orientado a objetos
spellingShingle Un método riguroso para la reusabilidad de software orientado a objetos
Favre, Liliana María
Ciencias Informáticas
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada 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
dc.creator.none.fl_str_mv Favre, Liliana María
author Favre, Liliana María
author_facet Favre, Liliana María
author_role author
dc.subject.none.fl_str_mv Ciencias Informáticas
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
topic Ciencias Informáticas
Formal methods
métodos formales
Software
reusabilidad
Data models
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
dc.description.none.fl_txt_mv 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.
Eje: Modelos de datos
Red de Universidades con Carreras en Informática (RedUNCI)
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.
publishDate 1995
dc.date.none.fl_str_mv 1995-10
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/24275
url http://sedici.unlp.edu.ar/handle/10915/24275
dc.language.none.fl_str_mv spa
language spa
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
dc.format.none.fl_str_mv application/pdf
79-89
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1842260125085073408
score 13.13397

Publicaciones similares