Rigorous Software Development

"Rigorous Software Development" ist ein Fachbuch, das sich mit der Anwendung mathematischer Methoden in der Softwareentwicklung beschäftigt. Es richtet sich an Fachleute und Studierende der Informatik, die ein vertieftes Verständnis für die Programmverifikation und die formalen Methoden in der Softwaretechnik erlangen möchten. Das Buch bietet eine umfassende Einführung in die Programmverifikation unter Verwendung logikbasierter Methoden und stellt diese im Kontext der formalen Methoden dar. Es behandelt die Spezifikation des Verhaltens von Softwarekomponenten durch Verträge, was zu einer modularen und unabhängigen Verifizierung von Programmen führt. Die Autoren legen besonderen Wert auf die Verbindung von theoretischen und praktischen Aspekten, um ein fundiertes Wissen über die statische Verifizierung von Programmen zu vermitteln. Das Buch setzt lediglich grundlegende Kenntnisse in Standardmathematik voraus und bietet eine selbstständige Einführung in die Aussagenlogik sowie die Prädikatenlogik mit Theorien.