Hoare establece una forma formal de especificar semántica, similar a los métodos matemáticos presentados en el libro de referencia.
Formal Methods Applied to the Specification of Software Systems
por C.A.R. Hoare, Michael J.C. Gordon · 1982
Ver sugerenciasSinopsis
Este ensayo profundiza en el uso de métodos formales, como la lógica y las matemáticas, para especificar y verificar la corrección de sistemas de software, buscando la rigurosidad en el diseño.
Sé el primero en valorar este libro.
Más de C.A.R. Hoare
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este trabajo amplía la lógica axiomática usada en métodos formales, coincidiendo con la búsqueda de rigor en el diseño de software.
Se centra en definir formalmente la semántica de programas, alineándose con el enfoque riguroso en la verificación de software del ensayo original.
Dijkstra propone un cálculo formal para derivar programas correctos, complementando la discusión sobre especificaciones precisas y rigurosas en sistemas de software.
Galindo expone técnicas matemáticas de especificación formal, que reflejan el propósito del ensayo sobre la verificación de la corrección en software.
La lógica de Hoare se utiliza para razonar sobre la corrección de programas, esencial al igual que los métodos formales discutidos en el libro de referencia.