Programen espezifikazio, egiaztapen eta eratorpen formala
ÁLVEZ GIMÉNEZ, JAVIER , ARREGI IPARRAGIRRE, XABIER , GAINTZARAIN IBARMIA, JOSÉ , LUCIO CARRASCO, PAQUI , MARITXALAR ANGLADA, MONTSE , 1
UNIVERSIDAD DEL PAÍS VASCO
- 9788490824283
- 24 cm. x 17 cm.
-
Euskera
- Euskera
- 314
- 24,00
-
Tapa blanda o Bolsillo
Resumen:
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.