Uso de cookies

Utilizamos cookies propias y de terceros para mejorar nuestros servicios y mostrarle datos que puedan ser de su interés.

Si acepta este uso pulse aquí

 

 
LIBROS >> Ingeniería y Arquitectura >> Informática
Programen espezifikazio, egiaztapen eta eratorpen formala
Alvez Gimenez, Javier; Arregi Iparragirre, Xabier; Gaintzarain Ibarmia, Jose; Lucio Carrasco, Paqui; Maritxalar Anglada, Montse
.9788490824290
Materia: Informática
Páginas: 328
Fecha de edición: 2016
ISBN/ISSN: 978-84-9082-429-0
Idioma: Euskara
Tipo de edición: Digital (PDF)

Precio c/IVA:
15,60 €
Cantidad:  
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.
.
 
Este libro lo puedes encontrar en otros formatos