por Helena N. P. J. K. Geisel · 2003
Ver sugerenciasSinopsis
Este libro, que rara vez aparece en las listas de referencia anglosajonas, se enfoca en la aplicación de métodos formales para el diseño y verificación de sistemas complejos, con un énfasis en la corrección y la confiabilidad.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Frank S. de Boer, Marcello M. Bonsangue, Walter M. T. van der Aalst
2002·divulgacion
Explora la aplicación de métodos formales en sistemas de componentes y objetos, abordando verificación y corrección con un enfoque práctico similar al del libro de referencia.
Introduce fundamentos teóricos de sistemas formales para el desarrollo de software, enfatizando la verificación rigurosa de programas, alineándose con el objetivo de confiabilidad.
Utiliza métodos matemáticos para describir y verificar sistemas de software, conectando directamente con el enfoque de verificación y corrección del libro de referencia.
Presenta un enfoque basado en métodos formales para el diseño de software, preparando al lector para identificar fallos tempranos, similar a la búsqueda de confiabilidad.
Analiza cómo aplicar métodos formales en ingeniería de software, profundizando en técnicas matemáticas que garantizan la calidad y confiabilidad de los sistemas, como en el libro de referencia.
Traza la evolución de los métodos formales en ingeniería de software, proporcionando contexto histórico que complementa la comprensión de su aplicación en diseño y verificación.
