por Benjamin C. Pierce · 2005
Sinopsis
Este libro aborda la intersección entre los métodos formales y la ingeniería del software, proporcionando una comprensión profunda de cómo aplicar técnicas matemáticas para mejorar la confiabilidad y calidad del software.
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1980
1991
1998
2001
2002
2005
2006
2007
2009
2011
2014
2015
2017
2020
Libros relacionados según distintos criterios de búsqueda
Douglas R. Hofstadter·1979·divulgacion
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.
Thomas S. Kuhn·1962·filosofia
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.
Richard S. Bird·1998·divulgacion
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.
Maurice V. Wilkes·1956·divulgacion
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.
Harro W. Langmaack·1988·divulgacion
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.
Josep Díaz·1990·divulgacion
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.
Andrew Hunt·1999·no ficcion
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.
Erich Gamma·1994·divulgacion
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.
