Books
»
science
programen espezifikazio, egiaztapen eta eratorpen formala
- Author: Javier Alvez Gimenez / Xabier Arregi Iparragirre / Jose Gaintzarain Ibarmia / Paqui Lucio Carrasco / Montse Maritxalar Anglada
- ISBN: 978-84-9082-428-3
- EAN: 9788490824283
- Editorial: EUSKAL HERRIKO UNIBERTSITATEA
- Language: Basque
- Edizio urtea: 2016
- Format: RUSTIKA
- Page count: 314
- Size: 240x170
INSTOCK Article in stock. Article available at elkar.eus. The articles in stock leave our shop within a 48 workable hour period. The delivery time will depend on the mode of shipment and on the selected country of destination.
Synopsis
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.