{"product_id":"9788490824283","title":"Programen espezifikazio, egiaztapen eta eratorpen formala","description":"\u003ch2\u003eProgramen espezifikazio, egiaztapen eta eratorpen formala\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa 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.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eEspecificación formal de programas: lenguajes y notaciones para definir el comportamiento deseado del software.\u003c\/li\u003e\n\u003cli\u003eVerificación formal de programas: técnicas para demostrar la corrección del software respecto a su especificación.\u003c\/li\u003e\n\u003cli\u003eDerivación formal de programas: metodologías para construir programas correctos a partir de sus especificaciones.\u003c\/li\u003e\n\u003cli\u003eFiabilidad del software: métodos para garantizar la ausencia de errores en aplicaciones críticas.\u003c\/li\u003e\n\u003cli\u003eHerramientas y técnicas para el desarrollo de software de alta integridad.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eProporciona una base sólida en los principios de la especificación, verificación y derivación formal de programas.\u003c\/li\u003e\n\u003cli\u003eOfrece ejemplos concretos y casos de estudio que demuestran la aplicabilidad de los métodos formales en la industria.\u003c\/li\u003e\n\u003cli\u003eCapacita al lector para comprender y utilizar herramientas y técnicas que garantizan la fiabilidad del software.\u003c\/li\u003e\n\u003cli\u003eContribuye a la formación científica y técnica necesaria para afrontar el reto de desarrollar aplicaciones completamente fiables.\u003c\/li\u003e\n\u003cli\u003ePresenta una visión actualizada de las metodologías que la comunidad internacional ha adoptado para mejorar la calidad del software.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cstrong\u003eAutor:\u003c\/strong\u003e Álvez Giménez, Javier; Arregi Iparragirre, Xabier; Gaintzarain Ibarmia, José; Lucio Carrasco, Paqui; Mar\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEditorial:\u003c\/strong\u003e Universidad del País Vasco\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eIdioma:\u003c\/strong\u003e Euskera\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eTema:\u003c\/strong\u003e Informática: cuestiones generales\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eColección:\u003c\/strong\u003e Pdte. Coleccion\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eEncuadernación:\u003c\/strong\u003e Bolsillo\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eFecha de edición:\u003c\/strong\u003e enero de 2016\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003eNúmero de páginas:\u003c\/strong\u003e 314\u003c\/li\u003e\n\u003cli\u003e\n\u003cstrong\u003ePeso:\u003c\/strong\u003e 650 g\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eSe 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.\u003c\/p\u003e","brand":"UNIVERSIDAD DEL PAÍS VASCO","offers":[{"title":"Default Title","offer_id":53497849839963,"sku":"9788490824283","price":24.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978849082428.jpg?v=1783061464","url":"https:\/\/kalamobooks.com\/products\/9788490824283","provider":"Kalamo Books","version":"1.0","type":"link"}