Este libro expande ideas de Dijkstra acerca de la programación formal y la corrección, centrándose en la lógica como fundamento de la construcción de programas.
A Discipline of Programming
por E.W. Dijkstra · 1976
Ver sugerenciasSinopsis
Este libro presenta un enfoque riguroso y matemático para la construcción de programas correctos, defendiendo la programación estructurada y la verificación formal.
Sé el primero en valorar este libro.
Más de E.W. Dijkstra
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Continúa la obra de Dijkstra al enfatizar el uso de la lógica matemática para asegurar la corrección y claridad en el desarrollo de software.
Refuerza los principios de Dijkstra al abordar la construcción sistemática de programas correctos y la verificación rigurosa de su funcionamiento a través de la lógica.
Se basa en la misma premisa de Dijkstra sobre la verificación formal, abordando el papel crucial de la lógica en la ingeniería de software de calidad.
Desarrolla el enfoque de Dijkstra en la verificación matemática de programas, introduciendo métodos para garantizar la claridad y la elegancia en el diseño algorítmico.
Similar a Dijkstra, presenta la programación como una actividad matemática, destacando la derivación rigurosa de programas correctos a partir de especificaciones formales.