Especificación, derivación y análisis de algoritmos:
Ejercicios resueltos

Aunque los temas relacionados con la especificación y verificación formal de programas no gozan de mucha popularidad, es importante su inclusión en los temarios, sobre todo haciendo más hincapié en la derivación de programas a partir de su especificación, de forma que se obtiene un algoritmo correcto por construcción.

Con el presente libro se intenta contribuir a paliar este déficit, pero además en un formato apropiado para los alumnos que demandan como complemento a los "libros de teoría" y a los apuntes de clase, un libro de ejercicios resueltos.

De esta forma, cada capítulo comienza con una breve introducción cuyo objetivo es repasar los conceptos principales y fijar las notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios, pero no supone un tratamiento detallado del tema, para el cual se remite a algunos libros de teoría, como el de Ricardo Peña: "Diseño de programas". La parte principal de cada capítulo consiste en una serie de ejercicios resueltos de dificultad creciente. Además, al final de cada capítulo se proponen nuevos ejercicios para resolver por el lector.

La idea de la verificación es que uno tiene tanto la especificación como el programa y se comprueba a posteriori que en efecto el programa cumpla su especificación. Para ello se utiliza una serie de reglas que se presentan e ilustran en los dos primeros capítulos. En el proceso de derivación se usan esas mismas reglas, pero de una forma completamente distinta, que es la que se ilustra en los capítulos 4 y 5. El capítulo intermedio, el 3, se dedica a introducir los conceptos básicos para analizar el coste de un programa, puesto que este ingrediente también es útil para construir programas que además de correctos sean eficientes.

@book{MartiOlietSeguraVerdejo06,
	Author = {Narciso Mart\'{\i} Oliet and Clara Segura and Alberto Verdejo},
	Publisher = {Pearson/Prentice Hall},
	Series = {Colecci\'on Prentice Practica},
	Title = {Especificaci\'on, derivaci\'on y an{\'a}lisis de algoritmos: Ejercicios resueltos},
	Year = {2006}}