Formale Methoden in der Softwareentwicklung
In Diskussionen mit anderen Softwareentwicklern, insbesondere über Softwaretests, treffe ich häufig auf starken Widerstand, wenn ich das Thema formale Methoden erwähne. Ich sehe mich dabei stets mit Argumenten konfrontiert, die …