Ambos libros enfatizan el uso de métodos formales para garantizar la corrección y fiabilidad en sistemas complejos, aunque uno se centra en multiagentes.
Formal Methods for Autonomous Systems
por Egon Börger · 2005
Ver sugerenciasSinopsis
Este libro presenta un enfoque basado en los 'Abstract State Machines' (ASM) para el diseño, modelado y verificación formal de sistemas autónomos complejos, asegurando su corrección y fiabilidad.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto introduce fundamentos teóricos que respaldan el diseño y verificación rigurosa de sistemas, alineándose con el enfoque formal del libro de referencia.
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Walter M. T. van der Aalst
2002·divulgacion
Al igual que el libro de referencia, explora técnicas formales para la especificación y verificación, pero se centra en componentes y sistemas distribuidos.
Se dedica a la aplicación de métodos formales para el diseño y verificación, enfatizando aspectos de corrección que resuenan con el enfoque en sistemas autónomos.
Ambos abordan la intersección de métodos formales y la ingeniería de software, destacando el uso de técnicas matemáticas para mejorar la confiabilidad de los sistemas.
Este ensayo trata sobre la verificación formal de programas, asegurando su comportamiento esperado, un tema central también en el libro sobre sistemas autónomos.