Descripción
Programen espezifikazio, egiaztapen eta eratorpen formala
Resumen del libro
Este libro ofrece una introducción rigurosa a las técnicas formales para el desarrollo de software fiable, es decir, libre de errores. A través de un enfoque teórico-práctico, los autores presentan los fundamentos de la especificación, verificación y derivación formal de programas. La obra demuestra que, con las herramientas y métodos adecuados, es posible crear aplicaciones altamente fiables, como ejemplifica el software de control de la red de transporte de París. Un texto esencial para quienes buscan comprender cómo la ingeniería del software puede alcanzar los más altos estándares de calidad y seguridad.
¿De qué trata?
La obra aborda la necesidad creciente de producir software completamente fiable, una meta alcanzable gracias a los métodos formales existentes. Se estructura en torno a tres pilares fundamentales: la especificación formal, que permite describir de manera precisa qué debe hacer un programa; la verificación formal, que demuestra matemáticamente que el programa cumple con su especificación; y la derivación formal, que guía la construcción del programa a partir de su especificación. A lo largo de sus capítulos, se exploran los conceptos teóricos y las herramientas prácticas que capacitan a los desarrolladores para crear aplicaciones robustas, minimizando el riesgo de fallos críticos. El libro se apoya en ejemplos reales, como el mencionado sistema de control de transporte, para ilustrar la aplicabilidad de estas técnicas en la industria.
Temas principales
- Especificación formal de programas: lenguajes y notaciones para definir el comportamiento deseado del software.
- Verificación formal de programas: técnicas para demostrar la corrección del software respecto a su especificación.
- Derivación formal de programas: metodologías para construir programas correctos a partir de sus especificaciones.
- Fiabilidad del software: métodos para garantizar la ausencia de errores en aplicaciones críticas.
- Herramientas y técnicas para el desarrollo de software de alta integridad.
¿Para quién está recomendado?
Este libro está dirigido a estudiantes y profesionales de la informática, especialmente aquellos interesados en la ingeniería del software, la verificación de programas y el desarrollo de sistemas críticos. Es adecuado para lectores con conocimientos previos de programación y matemáticas discretas que deseen profundizar en los fundamentos teóricos y prácticos de la fiabilidad del software. También resulta de gran utilidad para investigadores y desarrolladores que busquen incorporar métodos formales en sus procesos de trabajo.
Qué aporta este libro
- Proporciona una base sólida en los principios de la especificación, verificación y derivación formal de programas.
- Ofrece ejemplos concretos y casos de estudio que demuestran la aplicabilidad de los métodos formales en la industria.
- Capacita al lector para comprender y utilizar herramientas y técnicas que garantizan la fiabilidad del software.
- Contribuye a la formación científica y técnica necesaria para afrontar el reto de desarrollar aplicaciones completamente fiables.
- Presenta una visión actualizada de las metodologías que la comunidad internacional ha adoptado para mejorar la calidad del software.
Ficha técnica
- Autor: Álvez Giménez, Javier; Arregi Iparragirre, Xabier; Gaintzarain Ibarmia, José; Lucio Carrasco, Paqui; Mar
- Editorial: Universidad del País Vasco
- Idioma: Euskera
- Tema: Informática: cuestiones generales
- Colección: Pdte. Coleccion
- Encuadernación: Bolsillo
- Fecha de edición: enero de 2016
- Número de páginas: 314
- Peso: 650 g
Valoración editorial
Se trata de una obra de referencia en euskera para quienes deseen adentrarse en el campo de los métodos formales aplicados al desarrollo de software. Su enfoque didáctico, combinado con ejemplos prácticos y una sólida base teórica, la convierte en un recurso valioso tanto para la formación académica como para la actualización profesional. La publicación por parte de la Universidad del País Vasco avala su rigor y pertinencia en el contexto de la ingeniería del software. Es una lectura recomendada para cualquier persona comprometida con la calidad y la fiabilidad del software.