Informatik-Professor erhält Forschungspreis
Bleiben Softwarefehler unentdeckt, verringern sie den Umsatz erheblich. Im schlimmsten Falle sterben sogar Menschen. Selbst das Auffinden zuvor kostet Unsummen. Laut einer Studie der Universität Cambridge verbringt jeder Software-Entwickler gut die Hälfte seiner Programmier-Zeit damit, Fehler zu finden und zu reparieren.