Estructuras de Datos: Especificación, Diseño e Implementación
Referencia completa:
-
Estructuras de Datos: Especificación, Diseño e Implementación
Xavier Franch
Edicions UPC, Colección Politext, 30, ISBN 84-8301-002-X, 2001
Esta última edición corrige errores diversos que existían en ediciones anteriores.
También publicado como:
-
Estructuras de Datos: Especificación, Diseño e Implementación
Xavier Franch
Alfaomega Grupo Editor, ISBN 970-15-0773-8, 434 págs., 2001
Los puntos más relevantes del libro son:
- Estudio de las estructuras de datos clásicas en el contexto de la programación con tipos abstractos de datos.
- Descripción formal de los tipos abstractos que aparecen.
- Cálculo completo de la complejidad de las estructuras de datos y programas que se presentan.
- Código detallado de las diferentes implementaciones en una notación algorítmica versátil.
- Especial atención al diseño de estructuras de datos nuevas a partir de tipos ya existentes.
Puedes consultar aquí la información que aparece en el catálogo de Edicions UPC (bueno, lo tendrás que buscar por autor...).
También puedes consultar la presentación (en versión pdf) y el índice del libro (en versiones texto y pdf).
Puedes consultar la información que aparece en el catálogo de Edicions UPC.
Un poco de marketing...:
- Aparece en la guía docente de diversas universidades
españolas y iberoamericanas.
- Vendidos más de 2500 ejemplares.
- El libro fue galardonado por la UPC el año 1992.
Por último, algo de trabajo futuro (sugerencias y opiniones son bienvenidas):
- Varios cambios en el estudio de la semántica de los tipos abstractos:
- Ampliar el estudio de semánticas no iniciales. Incluso, introducir especificaciones Z.
- Introducir la herencia como mecanismo de estructuración, con su correspondiente semántica.
- Dar una somera descripción de la semántica de los tipos parametrizados y del concepto de paso de parámetros.
- Introducir las álgebras parciales para un tratamiento de los errores más simple.
- Presentación de los diferentes tipos abstractos como una jerarquía usando herencia.
- Incorporar aspectos no funcionales en la especificación e implementación de los tipos (información sobre eficiencia, por ejemplo).
- Formalizar el concepto de acceso por apuntadores a los datos, alternativo al acceso usando las operaciones que definen el tipo abstracto.
- Añadir un capítulo de implementación en memoria secundaria.
- Incluir la solución de algunos ejercicios.
- Incluir software de visualización de algoritmos.
- Incluir las implementaciones vistas, codificadas en algún lenguaje de programación a decidir.
No hay fecha prevista para efectuar estas ampliaciones...
Last Update on March 2008