Formal Methods and Software Engineering

Aunque no es directamente sobre ingeniería de software, este libro explora los fundamentos de la lógica, la recursión y los sistemas formales, que son la base teórica de los métodos formales. Su enfoque multidisciplinario sobre cómo las reglas simples pueden generar complejidad es muy relevante.

Los métodos formales representan un paradigma específico en la ingeniería de software. Este libro ofrece una lente para entender cómo y por qué se adoptan (o no) nuevos métodos y filosofías en una disciplina técnica, y cómo se produce la resistencia al cambio en las prácticas establecidas.

La programación funcional comparte una fuerte base filosófica con los métodos formales: la minimización de efectos secundarios, la inmutabilidad y la verificación de propiedades. Este libro profundiza en los principios subyacentes que hacen que ambos enfoques busquen la corrección y la predictibilidad en el software.

Aunque escrito antes de la formalización moderna de muchos métodos, este libro encarna el espíritu de la ingeniería de software que busca la robustez y la corrección a través de la disciplina. Los métodos formales son una evolución de esta búsqueda temprana de rigor en el diseño de software.

Este es un texto alemán que aborda directamente la semántica formal de los lenguajes de programación, un pilar de los métodos formales, pero que no es tan conocido en el mundo anglosajón. Profundiza en las bases teóricas que sustentan la verificación de la corrección del software.

Los métodos formales se basan en una comprensión profunda de la computabilidad y la complejidad de los programas. Este libro, de un autor español, ofrece una perspectiva concisa y rigurosa sobre estos límites fundamentales, que a menudo son tácitos en la aplicación práctica de los métodos formales.

Aunque no es un libro formal, su estructura se compone de 'piezas' o 'consejos' interconectados que, tomados en conjunto, forman un marco coherente para la construcción de software de alta calidad. Esto se asemeja a cómo los métodos formales descomponen sistemas complejos en componentes verificables.

Este libro proporciona un 'lenguaje estructurado' o un conjunto de 'reglas' (los patrones) para construir software de manera más robusta y comprensible, similar a cómo los métodos formales proveen un lenguaje y reglas para especificar y verificar el comportamiento del software. Ambos buscan la modularidad y la predicción del comportamiento.