Software Engineering with OBJ, Fachbücher von Joseph A. Goguen, Grant Malcolm

"Software Engineering with OBJ: Algebraic Specification in Action" bietet eine umfassende Einführung in das OBJ-System, das als eines der am weitesten verbreiteten algebraischen Spezifikationssysteme gilt. Dieses Fachbuch behandelt die formale Spezifikationssprache OBJ, die dazu beiträgt, Spezifikationen und Designs präziser und lesbarer zu gestalten. Durch die Möglichkeit der Ausführung, sei es durch symbolische Ausführung mit Termumformung oder durch Theorembeweise, hebt sich OBJ von anderen Spezifikationssprachen ab. Ein zentrales Anliegen in der Softwareentwicklung ist die Validierung von Spezifikationen, und OBJ bietet Werkzeuge zur Ausführung von Testfällen sowie zur Beweisführung von Eigenschaften. Das Buch enthält auch Fallstudien von führenden Praktikern, die die vielseitige Anwendbarkeit von OBJ in Bereichen wie Computergrafik, Hardwaredesign und paralleler Berechnung demonstrieren. Diese Fallstudien verdeutlichen, dass OBJ nicht nur leicht verständlich und implementierbar ist, sondern auch formales Denken auf eine klare und effektive Weise unterstützt.