Liburua

Programen espezifikazio, egiaztapen eta eratorpen formala

Egilea(k):
Javier Alvez Gimenez, Xabier arregi Iparragirre, Montse Maritxalar Anglada, Paqui Lucio Carrasco, Jose Gaintzarain Ibarmia
ISBN:
978-84-8438-590-5
SHU:
68
Argitalpen-urtea:
2016
Gaiak:
Informatika, Programen espezifikazio, egiaztapen eta eratorpen formala
Jakintza-Arloak:
Informatika
Argitaletxea:
UEU
Orrialde kopurua:
328

UPV/EHUrekin koedizioan argitaratua

Gaur egun, software fidagarria, hau da errorerik gabea, sortu ahal izateko ezagutza, metodoak eta teknologia egon badaude. Horren erakusgarri da, adibidez, liburu honen lehenengo kapituluan azaltzen den Parisko garraio-sarearen kontrolerako softwarea. Beste froga bat, azken 10-15 urteetan software-akatsen ondorioz sortutako istripu larririk ia-ia ez egon izana da. Hori dela-eta, liburu honen bidez gure ekarpena egin nahi dugu nazioarteko komunitateak dagoeneko bere gain hartu duen erronka batean: software-industriak zeharo fidagarriak diren aplikazioak garatzera jo behar du. Horretarako, software-garatzaileek aplikazio erabat fidagarriak garatu ahal izateko erreminta eta teknikak erabiltzeko eta sortzeko gaitasuna emango dien prestakuntza zientifiko-teknikoa izatea beharrezkoa da. Liburu honek software fidagarria eraikitzeko erabiltzen diren metodoen atzean dauden programen espezifikazio-, transformazio- eta egiaztapen-tekniken hastapenak ikasteko aukera eskaintzea du helburu, hemen agertzen den materiala oinarrizko prestakuntza-ikastaro baterako egokia delarik.

Zehazki, UPV/EHU Euskal Herriko Unibertsitatean ezarrita dauden Informatika Ingeniaritza Gradu desberdinetan irakasten den Programazioaren Metodologia irakasgaiaren testuliburua den honako hau programazio-arloan hasi berria den edonorentzat baliagarria da.

Javier Alvezi egindako elkarrizketa irakurri

Hiztegiaren arabera, buruxkak 'galburu edo garau mortsak' dira. Era berean, izenburu horixe jarri zion 1910. urtean Jean Etxepare medikuak bere idazki bildumari.

Etxepare medikua (Jean Etxepare Bidegorri, 1877-1935) euskal idazle bikaina izan zen, laikoa, europar korronte berriei irekia eta arlo zabalei hedatua: kazetaritza, literatura, filosofia, zientzia...

P. Xarriton Buruxkak eta Etxepareren beste obra batzuk zein eskutitzak argitaratzeaz arduratu da, eta berriki, K. Altonagak zientziaren historiari lotutako Etxepareren biografia bat kaleratu du.

Aitzindari hura gogoan, UEUk bere liburutegi digitalari Buruxkak izena jarri dio

HPS Babeslea
Bizkaia Babeslea
Babeslea