Dijkstra profundiza en la verificación formal de programas, similar al enfoque sistemático presentado en 'Un cálculo para la construcción de programas'.
Un cálculo para la construcción de programas
por Edsger W. Dijkstra · 1976
Ver sugerenciasSinopsis
Dijkstra presenta un enfoque formal para la derivación de programas correctos a partir de sus especificaciones utilizando un cálculo de transformaciones, enfatizando la verificación y el diseño sistemático.
Sé el primero en valorar este libro.
Más de Edsger W. Dijkstra
Ver autor →Otras obras del mismo autor en el catálogo
Goto considerado perjudicial
1968
Notas sobre la estructura de los programas y procesos de computación
1968
La Programación en el Contexto de la Sociedad
1972
Sobre Programación: Una Introducción al Concepto de Lenguajes de Programación
1972
Sobre el arte de programar
1972
La esencia de la informática
1972
Sobre la Programación Confiable
1972
Principios para el Diseño de Programas Informáticos Estructurados
1972
Structured Programming (Programación Estructurada)
1972
La lógica de la programación estructurada
1974
A Plea for the Emperor's New Clothes
1975
La Disciplina de Programación
1976
Una Lógica de la Programación
1976
La semántica de los programas: Aplicaciones a la programación estructurada
1976
El lenguaje de la programación
1976
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ambos libros comparten el rigor matemático y la idea de derivar programas correctos desde sus especificaciones formales utilizando la lógica.
Este ensayo reitera el valor de la programación estructurada y la claridad, conceptos que Dijkstra enfatiza en su obra sobre transformaciones programáticas.
En 'Programación conciente', Dijkstra aboga por una aproximación intelectual a la programación, resonando con el diseño sistemático de programas correcto del libro de referencia.
Presenta un enfoque matemático semejante al de Dijkstra sobre la construcción de programas, promoviendo un razonamiento lógico riguroso en ambas obras.
Dijkstra propone una metodología similar, sustentando que la corrección de programas debe demostrarse de manera formal, alineándose con el cálculo de transformaciones.