Zuverlässigkeit und Verantwortung

Více o knize

Die Untersuchung beleuchtet die Zuverlässigkeit programmgestützter Maschinen in kritischen Bereichen wie Notfallmedizin und Kraftwerksbetrieb. Es werden verschiedene Verfahren der Informatik analysiert, angefangen bei Spezifikationen und Beweisen bis hin zu Programmtests und statistischen Bewertungsmethoden. Die zentrale These des Buches ist, dass menschliches Verständnis und die Fähigkeit, Verantwortung zu übernehmen, entscheidend für den Erfolg dieser Verfahren sind, sowohl aus theoretischer als auch praktischer Sicht.