
LOTOSphere: Software Development with LOTOS
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"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.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- paperback
- 264 Seiten
- Erschienen 2008
- Springer
- Gebunden
- 378 Seiten
- Erschienen 2012
- Springer
- Gebunden
- 205 Seiten
- Erschienen 2006
- Springer
- perfect -
- Erschienen 2008
- Schroff Development Corp
- Hardcover
- 272 Seiten
- Erschienen 2010
- StudienVerlag
- Hardcover
- 388 Seiten
- Erschienen 1993
- Springer
- paperback
- 500 Seiten
- Erschienen 2008
- Springer
- Hardcover
- 264 Seiten
- World Scientific Publishing...