Logics of Specification Languages, Fachbücher von Dines Bjørner, Martin C. Henson

Das Buch "Logics of Specification Languages" bietet eine umfassende Analyse von neun verschiedenen Spezifikationssprachen und deren logischen Grundlagen. Es richtet sich an Forscher und Studierende, die sich mit formalen Spezifikationssprachen beschäftigen. Die Autoren, die als Experten auf diesem Gebiet gelten, präsentieren in einzelnen Kapiteln die Anwendung und Methodik verschiedener Spezifikationssprachen, darunter ASM (Abstract State Machines), Event-B, CafeOBJ, CASL, Duration Calculus, RAISE (RSL), TLA+, VDM und Z-Logik. Jedes Kapitel ist eigenständig und enthält Verweise sowie Indizes zu Symbolen und Konzepten. Ein besonderes Merkmal des Buches sind die abschliessenden Kommentare von Forschenden, die eng mit der ursprünglichen Entwicklung der Spezifikationssprachen verbunden sind. Mit umfangreichen Verweisen und Ausblicken auf zukünftige Entwicklungen ist dieses Werk eine wertvolle Ressource für alle, die sich mit den theoretischen und praktischen Aspekten von Spezifikationssprachen auseinandersetzen.