Explora la verificación formal de programas, igual que el libro de referencia, enfatizando la lógica matemática como herramienta esencial en la programación.
Principios para el Diseño de Programas Informáticos Estructurados
por Edsger W. Dijkstra · 1972
Ver sugerenciasSinopsis
Este texto seminal aboga por la programación estructurada y la verificación formal de programas, enfatizando la disciplina y la claridad en el proceso de desarrollo de software para manejar la complejidad.
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
Sobre el arte de programar
1972
Sobre Programación: Una Introducción al Concepto de Lenguajes de Programación
1972
Structured Programming (Programación Estructurada)
1972
Sobre la Programación Confiable
1972
La esencia de la informática
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
Una disciplina de programación
1976
La lógica de la programación
1976
La Disciplina de Programación
1976
Una Lógica de la Programación
1976
Un cálculo para la construcción de programas
1976
Libros similares
Libros relacionados según distintos criterios de búsqueda
Defiende la programación como disciplina científica, alineándose con la filosofía de la programación estructurada y la claridad en el diseño de software.
Promueve una programación rigurosa y disciplinada, resaltando la importancia de evitar sentencias 'goto' para mejorar la claridad, como Dijkstra en su obra.
Utiliza la lógica matemática como base para la construcción de programas, igualando la búsqueda de claridad y corrección en la programación estructurada.
Reúne ensayos que destacan la importancia de estructuras de control definidas, reflejando la filosofía de diseño claro y disciplinado del libro de referencia.
Introduce conceptos de razonamiento matemático y verificación formal, centrado en la construcción de programas correctos y elegantes, muy en la línea del texto original.