Programen espezifikazio, egiaztapen eta eratorpen formala
Editorial UNIVERSIDAD DEL PAIS VASCO
Espanya peninsular
- Editorial UNIVERSIDAD DEL PAIS VASCO
- ISBN13 9788490824283
- ISBN10 8490824282
- Tipus Llibre
- Pàgines 314
- Any Edició 2016
- Encuadernació Rústica
Programen espezifikazio, egiaztapen eta eratorpen formala
Editorial UNIVERSIDAD DEL PAIS VASCO
Espanya peninsular
Detalls del llibre
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.