Materias

También puedes seguirnos en
Aceptamos
Especificación, verificación y derivación formal de programa

Especificación, verificación y derivación formal de programa

Autor: Lucio Carrasco, Paqui
Editorial: PRENTICE HALL
Paginas: 352
Edición: 1edición
Fecha edición: 01-11-2015
ISBN: 9788420564982
Precio: 38,48 €

Avisarme cuando esté disponible
0 (0) Valore y vea las opiniones de este libro

Actualmente, existen los conocimientos, los métodos y la tecnología para que se pudiera construir software totalmente fiable, es decir, libre de errores.
Esto es debido a que, en el caso del software crítico, del que pueden depender vidas de personas, sí se utiliza toda la tecnología necesaria para garantizar su fiabilidad. ¿Por qué, entonces, no se aplican estas mismas técnicas en el desarrollo del software no crítico?

En este sentido, este libro va en la buena dirección, a contracorriente de esa tendencia lamentable de muchas universidades españolas. En particular, este excelente libro suministra el material para un curso de formación introductoria en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable.

Contenido:

1. Introducción
2. Especificación formal de progrmas
3. Verificación de progrmas iterativos
4. Verificación de programas recursivos
5. Especificación ecuacional de tipos de datos
6. Transformación de recursivo a iterativo
7. Derivación de programas iterativos
8. Derivación de programas recursivos
Libros relacionados

Comentarios y valoraciones

Escriba su comentarioLogin para valorar
Información