Descripción
INT.ABSTRACT DATA TYPES
Resumen del libro
Este manual universitario ofrece un estudio exhaustivo de las estructuras de datos utilizando exclusivamente el lenguaje de programación Ada. El autor, Hillam, aprovecha al máximo las capacidades de los genéricos, los tipos abstractos de datos y la reutilización del software para presentar un enfoque sistemático y riguroso. A lo largo de sus páginas, el lector encontrará una biblioteca de componentes reutilizables basados en Ada, construidos siguiendo principios fundamentales de la ingeniería del software. El valor principal de la obra reside en su metodología didáctica, que introduce cada tipo abstracto de datos en cinco fases claramente diferenciadas, combinando teoría formal con implementación práctica y análisis de rendimiento.
¿De qué trata?
El libro se centra en el diseño y la implementación de tipos abstractos de datos (TAD) utilizando Ada como lenguaje vehicular. La obra se estructura en torno a un método pedagógico en cinco fases para cada estructura de datos:
- En primer lugar, se presenta la motivación de uso y las aplicaciones típicas del tipo de datos.
- A continuación, se proporciona una descripción formal escrita que especifica la función y todas las operaciones del tipo de datos.
- Se presenta una especificación formal de un paquete genérico en Ada.
- Se implementan partes seleccionadas del cuerpo del paquete.
- Finalmente, se derivan estimaciones de rendimiento para las operaciones individuales.
El texto hace hincapié en la abstracción, la generalidad, el rendimiento de los procedimientos y la corrección del código, desarrollando una biblioteca completa de componentes de software reutilizables basados en Ada.
Temas principales
- Tipos abstractos de datos (TAD) y su especificación formal.
- Programación genérica en Ada y reutilización de software.
- Principios de ingeniería del software aplicados a estructuras de datos.
- Análisis de rendimiento y estimación de costes operacionales.
- Construcción de bibliotecas de componentes reutilizables.
- Corrección formal y verificación de implementaciones.
¿Para quién está recomendado?
Este libro está dirigido a estudiantes universitarios de informática, ingeniería de software y disciplinas afines que cursen asignaturas de estructuras de datos y programación avanzada. También resulta de gran utilidad para programadores profesionales que deseen profundizar en el diseño de software robusto y reutilizable utilizando Ada, así como para docentes que busquen un enfoque metodológico estructurado para la enseñanza de los tipos abstractos de datos.
Qué aporta este libro
- Un método de aprendizaje sistemático en cinco fases para comprender y dominar cada tipo abstracto de datos.
- Una biblioteca práctica de componentes reutilizables en Ada, aplicable a proyectos reales de desarrollo de software.
- Una sólida base en principios de ingeniería del software, incluyendo abstracción, generalidad y corrección formal.
- Herramientas para evaluar y comparar el rendimiento de diferentes implementaciones de estructuras de datos.
Ficha técnica
- Autor: Hillam
- Editorial: Prentice Hall Iberia
- Idioma: Inglés
- Colección: Universitario
- Peso: 1030 g
Valoración editorial
Se trata de una obra de referencia para el estudio de las estructuras de datos desde una perspectiva formal y práctica, centrada en el lenguaje Ada. Su enfoque metódico, basado en la especificación, implementación y análisis de rendimiento, lo convierte en un recurso valioso tanto para el aula como para el desarrollo profesional. Aunque el idioma del texto es inglés, la claridad expositiva y la estructura pedagógica facilitan la comprensión de conceptos complejos. Es una elección acertada para quienes buscan un tratamiento riguroso y aplicado de los tipos abstractos de datos.