LOTOSphere: Software Development with LOTOS

"LOTOSphere: Software Development with LOTOS" von Chris Vissers ist ein umfassendes Werk, das sich mit der Anwendung der formalen Beschreibungssprache LOTOS (Language of Temporal Ordering Specification) im Bereich der Softwareentwicklung beschäftigt. Das Buch bietet eine detaillierte Einführung in die Konzepte und Prinzipien von LOTOS und zeigt, wie diese Sprache zur Spezifikation und Modellierung komplexer Systeme verwendet werden kann. Der Inhalt des Buches umfasst sowohl theoretische Grundlagen als auch praktische Anwendungsfälle. Es behandelt die Syntax und Semantik von LOTOS, erklärt die Strukturierung von Spezifikationen und geht auf die Analyse und Verifikation von Systemmodellen ein. Zudem bietet es Beispiele aus der Praxis, um zu veranschaulichen, wie LOTOS in realen Entwicklungsprojekten eingesetzt werden kann. Durch seine klare Darstellung und den praxisorientierten Ansatz richtet sich das Buch an Softwareentwickler, Ingenieure und Forscher, die sich für formale Methoden interessieren oder diese in ihren Projekten anwenden möchten. Es dient sowohl als Lehrbuch für Studierende als auch als Referenzwerk für Fachleute in der Industrie.