Esta web, cuyo responsable es Bubok Publishing, s.l., utiliza cookies (pequeños archivos de información que se guardan en su navegador), tanto propias como de terceros, para el funcionamiento de la web (necesarias), analíticas (análisis anónimo de su navegación en el sitio web) y de redes sociales (para que pueda interactuar con ellas). Puede consultar nuestra política de cookies. Puede aceptar las cookies, rechazarlas, configurarlas o ver más información pulsando en el botón correspondiente.
AceptarRechazarConfiguración y más información
Buscar en Bubok

Especificación, Verificación y Derivación Formal de Programas

COP 72.573
Cantidad
+
Añadir a la cesta
Comprar ya
Pago disponible con tarjeta, transferencia y en efectivo.
También puedes:
Comprarlo en Argentina Comprarlo en México Comprarlo en España
detalles del producto:
  • Autor: Montse Maritxalar, Paqui Lucio, José Gaintzarain, Xabier Arregi, Javier Álvez
  • Estado: Público
  • N° de páginas: 252
  • Tamaño: 210x297
  • Interior: Blanco y negro
  • Maquetación: Rústica
  • Acabado portada: Brillo
  • ISBN Libro en papel: 978-84-685-6120-2
    ISBN eBook en PDF: 978-84-685-6121-9
  • Descargas: 95
  • Última actualización: 09/02/2022

Desde prácticamente los inicios de la Informática, una de las líneas constantes de trabajo ha ido en la dirección de reducir el número de errores de programación o de mitigar sus consecuencias. Actualmente, existen los conocimientos, los métodos y la tecnología para que se pudiera construir software totalmente fiable, es decir (prácticamente) libre de errores. Prueba de ello es, por ejemplo, el software de la red de transporte parisina que se describe en el capítulo introductorio de este libro. Otra prueba es que en los últimos 10 o 15 años no haya habido, prácticamente, accidentes graves provocados por fallos de software. Esto es gracias a que, en el caso del software crítico, del que pueden depender las vidas de personas, si se utiliza toda la tecnología necesaria para garantizar su fiabilidad. ¿Por qué, entonces, no se aplican estas mismas técnicas en el desarrollo del software no crítico? Uno de los principales motivos es que los desarrolladores de software no cuentan con la formación básica necesaria para utilizar las técnicas y herramientas que garantizan la fiabilidad del software.

 

Este libro suministra material para un curso de formación introductorio en técnicas básicas de especificación, transformación y verificación de programas, que están detrás de los métodos que se utilizan para la construcción de software fiable. Presentamos, e ilustramos con ejemplos y ejercicios, una colección de métodos formales básicos de especificación de programas y tipos de datos, de verificación de programas imperativos y recursivos sencillos, de transformación de especificaciones (y/o programas) recursivos en iterativos y de derivación formal de programas, tanto iterativos como recursivos. Cada capítulo del libro contiene ejemplos completamente desarrollados, y varias secciones con ejercicios propuestos de similar dificultad a los desarrollados en las secciones precedentes, incluyendo una sección final de ejercicios de recopilación. Así mismo, cada capítulo incluye una sección de notas bibliográficas donde se pueden encontrar reseñas históricas y referencias interesantes.

 

Con este libro pretendemos contribuir a un reto que la comunidad internacional ya ha asumido: La industria del software debe evolucionar hacia producir aplicaciones totalmente fiables, para lo cual es fundamental que los desarrolladores de software cuenten con la formación científico-técnica que les capacite para usar y desarrollar las herramientas y técnicas necesarias para construir software totalmente fiable.

...[Leer más]
No existen comentarios sobre este libro Regístrate para comentar sobre este libro
Los clientes que compraron este libro también compraron

La librería Bubok cuenta con más de 70.000 títulos publicados. ¿Todavía no encuentras el tuyo? Aquí te presentamos algunas lecturas recomendadas basándonos en las valoraciones de lectores que compraron este mismo libro.
¿No es lo que buscabas? Descubre toda nuestra selección en la librería: ebooks, publicaciones en papel, de descarga gratuita, de temáticas especializadas... ¡Feliz lectura!

Bubok es una editorial que brinda a cualquier autor las herramientas y servicios necesarios para editar sus obras, publicarlas y venderlas en más de siete países, tanto en formato digital como en papel, con tiradas a partir de un solo ejemplar. Los acuerdos de Bubok permiten vender este catálogo en cientos de plataformas digitales y librerías físicas.
Si quieres descubrir las posibilidades de edición y publicación para tu libro, ponte en contacto con nosotros a través de este formulario y comenzaremos a dar forma a tu proyecto.

Si necesitas ayuda, contáctame, te atenderé al instante.
ABRE UN CHAT INSTANTÁNEO SI NECESITAS AYUDA


¿Quieres que te informemos de cómo publicar tu obra? Déjanos tu teléfono y te llamamos sin compromiso.

Introduce el nombre

Introduce el teléfono

Introduce el E-mail

Introduce un email válido

Escoge el estado del manuscrito

La finalidad de la recogida de sus datos es para poder atender su solicitud de información, sin cederlos a terceros, siendo responsable del tratamiento Bubok Publishing, s.l.. La legitimación se basa en su propio consentimiento, teniendo usted derecho a acceder, rectificar y suprimir los datos, así como otros derechos, tal y como se explica en la Política de privacidad

Debes validar que no eres un robot

Gracias por contactar con Bubok, su mensaje ha sido enviado con éxito. Una persona de nuestro departamento de asesoría al cliente se pondrá en contacto contigo a la mayor brevedad.
Enviar