1. Inicio
  2. Atrás
Título: Un método riguroso para la reusabilidad de software orientado a objetos
Autores: Favre, Liliana María
Fecha: 2012-11-16
1995-10
1995-10
Publicador: Unversidad Nacional de La Plata
Fuente:

Tipo: Objeto de conferencia
Objeto de conferencia
Tema: métodos formales
reusabilidad
especificaciones algebraicas
programación transfonnacional
programación orientada a objetos
Formal methods
Software
Data models
Ciencias Informáticas
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
Idioma: Español