“Bei der Logischen Programmierung bestimmt der Programmierer in erster Linie, was getan werden soll, und nicht so sehr, wie es geschehen soll. Wenn dieses Vorgehen zu Fehlern führt, sind insbesondere unerfahrene Programmierer mit der Analyse der Situation überfordert.

Der in dieser Arbeit vertretene Ansatz unterstützt Programmierer auf mehreren Ebenen dabei, Zusammenhänge zwischen möglichen Fehlerquellen und dem Auftreten eines Fehlers zu finden. In vielen Fällen lassen sich Hinweise zur Fehlerbehebung automatisch generieren. Das erstellte System wurde im praktischen Einsatz erprobt und durch statistische Untersuchungen evaluiert.”

(aus dem Text der 4. Umschlagseite)

Zum Buch “Dr. Klotz’ Computerschutz”