Leserbewertungen
Zusammenfassung:Das Buch wird als exzellente Einführung in temporale Argumentation und formale Methoden geschätzt und für seine Klarheit und ansprechende Darstellung gelobt. Es ist sowohl für Anfänger als auch für erfahrene Leser geeignet und macht komplexe Themen verständlicher. Einige Rezensenten merkten jedoch an, dass es in bestimmten theoretischen Aspekten an Tiefe mangelt.
Vorteile:⬤ Exzellenter Text und Inhalt, fesselnd und leicht zu lesen.
⬤ Gute Einführung in temporales Denken für Anfänger und Experten.
⬤ Macht komplexe Themen zugänglich, sogar für Schüler.
⬤ Bietet praktische, reale Beispiele, die das Verständnis von Systemspezifikationen erleichtern.
⬤ Sehr empfehlenswert für alle, die sich für Gleichzeitigkeit und den Entwurf verteilter Systeme interessieren.
⬤ Es fehlt an Tiefe in den zugrundeliegenden Theorien, wie Intuitionismus und Z-Notation.
⬤ Einige Inhalte sind eher auf praktische Anwendungen als auf einen umfassenden theoretischen Rahmen ausgerichtet.
⬤ Es wurde der Wunsch nach einer neueren Ausgabe geäußert, die TLA+2 abdeckt.
(basierend auf 7 Leserbewertungen)
Originaltitel:
Specifying Systems: The Tla+ Language and Tools for Hardware and Software Engineers
Inhalt des Buches:
Dieses Buch ist das Ergebnis von mehr als 25 Jahren Arbeit eines der renommiertesten Informatiker der Welt. Eine Spezifikation ist eine schriftliche Beschreibung dessen, was ein System tun soll, und eine Möglichkeit, zu überprüfen, ob es funktioniert.
Die Spezifikation eines Systems hilft uns, es zu verstehen. Es ist eine gute Idee, ein System zu verstehen, bevor man es baut, also ist es eine gute Idee, eine Spezifikation für ein System zu schreiben, bevor man es implementiert. Das effektivste Werkzeug zur Beschreibung einer Spezifikation ist die Temporal Logic of Actions (TLA), weil sie eine mathematische, d.
h.
präzise Grundlage für die Beschreibung von Systemen bietet. TLA+ ist die Sprache, die der Autor entwickelt hat, um die mathematischen Spezifikationen zu schreiben.
TLA+ ist im Internet frei verfügbar. Sie kann sowohl für Software als auch für Hardware verwendet werden. Tatsächlich setzt Intel TLA+ mit großem Erfolg bei der Entwicklung eines neuen Chips ein.
Das Buch ist in vier Teile gegliedert. Der erste Teil enthält alles, was die meisten Programmierer und Ingenieure über das Schreiben von Spezifikationen wissen müssen. Der zweite Teil enthält fortgeschritteneres Material für anspruchsvollere Leser.
Der dritte und vierte Teil sind ein Referenzhandbuch für TLA+ - sowohl für die Sprache selbst als auch für ihre Werkzeuge.
Weitere Daten des Buches:
| ISBN: | 9780321143068 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2002 |
| Seitenzahl: | 384 |
Kauf:
Derzeit verfügbar, auf Lager.
