Este libro también de Dijkstra aborda la programación como una disciplina rigurosa, subrayando la importancia de la corrección y la elegancia matemática en el desarrollo de software.
La Disciplina de la Programación
por Edsger W. Dijkstra · 1976
Ver sugerenciasSinopsis
Este libro seminal introduce el concepto de construir programas correctos mediante razonamiento matemático y verificación formal, enfocándose en la claridad y la elegancia del algoritmo.
Sé el primero en valorar este libro.
Más de Edsger W. Dijkstra
Ver autor →Otras obras del mismo autor en el catálogo
Notas sobre la estructura de los programas y procesos de computación
1968
Goto considerado perjudicial
1968
Structured Programming (Programación Estructurada)
1972
Principios para el Diseño de Programas Informáticos Estructurados
1972
Sobre el arte de programar
1972
La esencia de la informática
1972
Sobre Programación: Una Introducción al Concepto de Lenguajes de Programación
1972
Sobre la Programación Confiable
1972
La Programación en el Contexto de la Sociedad
1972
La lógica de la programación estructurada
1974
A Plea for the Emperor's New Clothes
1975
Programación conciente: principios para desarrollar software robusto
1976
La estructura del pensamiento computacional
1976
Principios de Programación
1976
La semántica de los programas: Aplicaciones a la programación estructurada
1976
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'La Disciplina de la Programación', este tratado enfatiza la derivación de programas correctos mediante especificaciones formales y el uso de lógica de predicados.
Este ensayo promueve la claridad y rigor en la programación, conectándose directamente con la idea de Dijkstra sobre la necesidad de un enfoque intelectual serio en el software.
Dijkstra presenta un método formal para derivar programas a partir de especificaciones, lo que refuerza su temática de verificación y diseño sistemático propuesto en su libro seminal.
Este enfoque riguroso resalta la metodología rigurosa en la construcción de programas correctos, similar al énfasis de Dijkstra en la verificación y la programación estructurada.
Este libro mantiene el enfoque formal y matemático para la creación de programas correctos, alineándose con la defensa de Dijkstra sobre la importancia de la lógica y la verificación.