Bewertung:
Das Buch bietet eine solide Einführung in die Spezifikationssprache Alloy und stellt deren Theorie und praktische Anwendungen klar dar. Es wird für seinen zugänglichen Schreibstil, die strukturierten Tutorials und die Verwendung von Visualisierungen zum Verständnis der Modelle gelobt. Einige Leser bemängeln jedoch einen Mangel an nicht-trivialen Beispielen und weisen darauf hin, dass die Kindle-Ausgabe veraltet ist.
Vorteile:Klarer Schreibstil, verständliche Einführung in Alloy, gute praktische Beispiele, nützlich sowohl für Akademiker als auch für Ingenieure, enthält Visualisierungen von Modellen, anfängerfreundliche Anleitungen, gut strukturiert.
Nachteile:Die Kindle-Ausgabe ist veraltet, es fehlen nicht-triviale Beispiele für die Modellierung komplexer Probleme, der Verweis auf ältere Alloy-Versionen kann ein Problem sein, einige mathematische Notationen fehlen.
(basierend auf 14 Leserbewertungen)
Software Abstractions, Revised Edition: Logic, Language, and Analysis
Ein Ansatz für den Softwareentwurf, der eine vollautomatische Analyse einführt, die den Entwicklern sofortiges Feedback gibt, jetzt mit der neuesten Version der Sprache Alloy.
In Software Abstractions stellt Daniel Jackson einen Ansatz für den Softwareentwurf vor, der sich auf traditionelle formale Methoden stützt, aber automatisierte Werkzeuge nutzt, um Fehler so früh wie möglich zu finden. Dieser Ansatz - den Jackson als "leichtgewichtige formale Methoden" oder "agile Modellierung" bezeichnet - übernimmt von der formalen Spezifikation die Idee einer präzisen und ausdrucksstarken Notation, die auf einem winzigen Kern einfacher und robuster Konzepte basiert, ersetzt aber die konventionelle Analyse auf der Grundlage von Theorembeweisen durch eine vollständig automatisierte Analyse, die den Designern ein unmittelbares Feedback gibt.
Jackson hat Alloy entwickelt, eine Sprache, die das Wesen von Softwareabstraktionen einfach und prägnant erfasst und dabei ein minimales Toolkit mathematischer Begriffe verwendet. Diese überarbeitete Ausgabe aktualisiert den Text, die Beispiele und die Anhänge, um vollständig mit Alloy 4 kompatibel zu sein.
| ISBN: | 9780262528900 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2016 |
| Seitenzahl: | 376 |
Derzeit verfügbar, auf Lager.
