Tipos Abstractos De Datos

Tipos abstractos de datos 1
La abstracción de datos es un tipo especial de abstracción que involucra una descripción abstracta o lógica de los datos y de las operaciones definidas para un sistemaprogramado. Según G. Heileman [Heil-98], "el uso de la abstracción de datos durante el desarrollo de software permite al diseñador concentrarse en cómo son usados los datos en el sistema para resolverel problema que le ocupa, sin tener que preocuparse de cómo los datos son representados y tratados en la memoria de la computadora".
La especificación de los algoritmos del curso se realiza según latécnica de desarrollo de sistemas de objetos (TDSO) de I. Besembel en [Bes-95], que está basada en el método deductivo MEDEE [Duf-88] y en la técnica OMT [RBP-91]. La solución de los problemas se hacepor refinamientos sucesivos e incluye los enunciados de solución del problema, acompañados de la especificación y de la implementación de los tipos de datos utilizados basados en la abstracción de datosy en la orientación por objetos.
Un tipo de dato T se define como una clase de valores y una colección de operaciones sobre estos valores.
Si las propiedades de esas operaciones son especificadassolamente con axiomas, entonces T es un tipo abstracto de datos (TAD) o una abstracción de datos. Una implantación correcta del TAD cumple con todos los axiomas especificados para él. Un TAD es unaentidad matemática definida por su estructura y sus operaciones, que se basa en la separación clara entre su implantación y el uso del TAD a través de su interfaz. Un TAD tiene una interfaz y una o variasimplantaciones. La definición de un TAD consta de: Especificación e implantación.
Ejemplo: el tipo Entero es una entidad con sus operaciones de adición, substracción, negación, multiplicación,división y comparaciones.
El uso del TAD, por parte de los usuarios o programadores, es independiente de la implantación de sus operaciones. El desarrollador del TAD es libre de escoger o experimentar con...