Laitila, Päättelytekniikka ohjelmisto-ongelmien selvittämiseen! - näin paikannat tyypilliset ohjelmistoviat

Kaikki tiedämme, että tietokoneohjelmissa on usein virheitä vaikka kehittäjät ponnistelevat ettei niitä syntyisi. Tämä kirja esittelee ainutlaatuisen tekniikan nimeltään ORT tarkoituksena kuvata yleinen menetelmä ohjelmisto-ongelmien paikantamiseen. Siinä on seuraavat osa-alueet: ohjelmistojen topologinen malli, kattava vikaluokitus, menetelmäkehikko työkalusuosituksineen sekä paikannusproseduurit kullekin vikatyypille. Kirja opettaa lukijaansa systeemaattiseen ajatteluun niin, että hänelle tulee vankka itseluottamus ottaa haltuun mitä tahansa ongelmatilanteita. Kirjoittaja Erkki Laitila on tietokoneinsinööri ja väitellyt ohjelmistojen symbolisen analyysin alueesta. Vaikka ORT-tekniikka perustuu hänen tutkimuksessa luomaansa metodologiaan, lukijan ei silti tarvitse tuntea syvällisesti tietojenkäsittelytiedettä, sillä kaikille periaatteille on kuvattu selkeä käyttötarkoitus ja runsaasti esimerkkejä.