Liburu berria Programazioan errorerik ez egiteko // Libro sobre escritura de programas fiables

Liburu berriaren azala

[EU]

Udako Euskal Unibertsitatearen argitalpen-azpiegitura erabiliz liburu berri bat argitaratu dugu informatikaz UEU eta UPV/EHUren artean:

Programen espezifikazio, egiaztapen eta eratorpen formala

Hau da erronka:

  • software-industriak zeharo fidagarriak diren aplikazioak garatzera jo behar du.
  • Software-garatzaileak erremintak eta teknikak behar ditu aplikazio erabat fidagarriak garatu ahal izateko.

Gaur egun egon badaude errorerik gabeko softwarea sortu ahal izateko ezagutza, metodo eta teknologiak.  Horren erakusgarri da, adibidez, Parisko garraio-sarearen kontrolerako softwarea (ikus liburuko 1. kapitulua). Azken 10-15 urteetan software-akatsen ondorioz sortutako istripu larririk ia-ia ez egon izana beste froga bat da.

Gure 5 irakasleok liburu honetan software fidagarria eraikitzeko oinarrizko prestakuntza-ikastaro baterako materiala eskaintzen dute. UPV/EHUko Informatika Ingeniaritza Graduetan irakasten den Programazioaren Metodologia irakasgaiaren testuliburua den honako hau, programazio-arloan hasi berria den edonorentzat baliagarria da. Deskargatu kapitulu bat

Eskerrik asko autoreei:

  • Javier Alvez Gimenez (LoRea ikerketa-taldea)
  • Xabier Arregi Iparragirre (IXA ikerketa-taldea)
  • Jose Gainzarain Ibarmia (LoRea ikerketa-taldea)
  • Paqui Lucio Carrasco (LoRea ikerketa-taldea)
  • Montse Maritxalar Anglada (IXA ikerketa-taldea)

2016-09-01 14_22_22-03 Programen Espezifikazioa 41 UEU PRINT.pdf - Adobe Acrobat Pro2016-09-01 14_22_09-03 Programen Espezifikazioa 41 UEU PRINT.pdf - Adobe Acrobat Pro2016-09-01 14_21_10-03 Programen Espezifikazioa 41 UEU PRINT.pdf - Adobe Acrobat Pro 2016-09-01 14_21_33-03 Programen Espezifikazioa 41 UEU PRINT.pdf - Adobe Acrobat Pro 2016-09-01 14_21_46-03 Programen Espezifikazioa 41 UEU PRINT.pdf - Adobe Acrobat Pro


[ES]
Entre 5 profesor@s de la facultad acaban de publicar este libro usando el servicio de publicaciones de la UEU y con la colaboración de la UPV/EHU:

Programen espezifikazio, egiaztapen eta eratorpen formala

El libro quiere responder a este desafío :

  • La industria del software tiene que producir aplicaciones que sean completamente fiables y sin errores.

    portada-libroPEEEF_es

    Especificación, Verificación y Derivación Formal de Programas (2015)

  • Los desarrolladores de software necesitan técnicas y herramientas para poder producir aplicaciones completamente fiables.

Actualmente, existen los conocimientos, los métodos y la tecnología para construir software 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.

Este nuevo libro en euskera, lo mismo que su versión en castellano publicada en 2015, ofrece material para un curso introductorio a la creación de software fiable. Se utiliza en la asignatura Metodología de la Programación en el Grado en Ingeniería Informática de la UPV/EHU.
Descarga un capítulo aquí.

 

2 iruzkin honentzako: Liburu berria Programazioan errorerik ez egiteko // Libro sobre escritura de programas fiables

Erantzuna idatzi

 

 

 

HTML etiketa hauek erabil ditzakezu

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <s> <strike> <strong>