Mathematical Approaches to Software Quality, Fachbücher von Gerard O'Regan

Das Buch "Mathematical Approaches to Software Quality" bietet eine umfassende Einführung in verschiedene mathematische Ansätze zur Sicherstellung einer hohen Softwarequalität. Es richtet sich sowohl an Studierende als auch an Fachleute und vermittelt die mathematischen Grundlagen, die für eine fundierte Softwaretechnik unerlässlich sind. Die Autoren diskutieren eine Vielzahl von mathematischen Methoden, die sowohl in der akademischen Welt als auch in der Industrie Anwendung finden. Zu den behandelten Ansätzen gehören unter anderem die Z-Spezifikationssprache, die Wiener Entwicklungsmethoden (VDM), die Ansätze von Dijkstra und Hoare sowie das Cleanroom-Verfahren, das bei IBM entwickelt wurde. Darüber hinaus wird die Übertragung dieser mathematischen Methoden in die Industrie thematisiert. Das Buch legt besonderen Wert darauf, wie mathematische Methoden zur Lösung praktischer Probleme eingesetzt werden können, und bietet somit wertvolle Einblicke für Softwareingenieure.