Edsger W. Dijkstra

Artículo que critica el uso de la instrucción GOTO en la programación, abogando por estructuras de control más ordenadas que mejoran la legibilidad y mantenibilidad del código.

Una colección de ensayos y disertaciones que exploran la naturaleza de la programación, su enseñanza y su impacto social, abogando por la simplicidad, la corrección y la modestia intelectual en el desarrollo de software.

Una colección de ensayos y notas que exploran los fundamentos teóricos y las implicaciones filosóficas de la programación, abogando por la simplicidad y la claridad en el diseño de software.

Una colección de ensayos e informes técnicos que abordan aspectos fundamentales de la programación, desde la corrección de programas hasta la importancia de la simplicidad y la elegancia en el diseño del software.

Una colección de ensayos que abordan los principios fundamentales de la programación, la verificación de programas y la elegancia en el diseño de software, enfatizando la importancia de la simplicidad y la razón.

Una colección de ensayos que abogan por una programación más disciplinada y matemáticamente rigurosa, introduciendo conceptos como la verificación formal y la evitación de sentencias 'goto'.

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.

Una colección seminal de ensayos que abogan por una forma disciplinada de diseñar y escribir programas, enfatizando la claridad, la corrección y el uso de estructuras de control bien definidas para reducir la complejidad.

Una colección de ensayos influyentes que argumentan a favor de la programación estructurada y la verificación formal de programas, enfatizando la claridad y corrección en el diseño de software.

Este ensayo es una crítica mordaz a la complejidad innecesaria y a la falta de rigor en la programación. Dijkstra argumenta que gran parte del software es innecesariamente complicado, lo que lleva a sistemas frágiles y difíciles de entender.

Un libro seminal que propone un enfoque formal y riguroso para la construcción de programas, utilizando la lógica matemática como base para la corrección y la claridad del código.

Este libro, también de Dijkstra, es una colección de ensayos y reflexiones sobre cómo la programación debería ser abordada como una disciplina intelectual rigurosa, enfatizando la corrección, la elegancia y la demostrabilidad matemática.

Dijkstra presenta un enfoque riguroso y matemático para la construcción de programas correctos, defendiendo que la programación es un acto de razonamiento lógico y que los programas deben ser derivados formalmente a partir de sus especificaciones.

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.

Un trabajo seminal que explora la semántica formal de los lenguajes de programación, sentando las bases para la verificación y la corrección de programas a través de métodos matemáticos rigurosos.

Es una colección de ensayos y conferencias de uno de los pioneros de la informática, discutiendo la naturaleza de la programación como un ejercicio de pensamiento y precisión.

Este libro seminal aborda la verificación formal de la corrección de programas a través de la lógica matemática, enfatizando la importancia de una ingeniería de software rigurosa y basada en pruebas.

Una colección de ensayos de Dijkstra que exploran los principios fundamentales del diseño y la verificación de programas, abogando por la claridad, la elegancia y la corrección matemática en el desarrollo de software.

Una colección de ensayos que reflexiona sobre la programación de computadoras, la abstracción y la claridad en el diseño de algoritmos, centrándose en la disciplina y elegancia requeridas para crear sistemas complejos y confiables.