Software-Abstraktionen, überarbeitete Ausgabe: Logik, Sprache und Analyse

Bewertung:   (4,6 von 5)

Software-Abstraktionen, überarbeitete Ausgabe: Logik, Sprache und Analyse (Daniel Jackson)

Leserbewertungen

Zusammenfassung:

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)

Originaltitel:

Software Abstractions, Revised Edition: Logic, Language, and Analysis

Inhalt des Buches:

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.

Weitere Daten des Buches:

ISBN:9780262528900
Autor:
Verlag:
Einband:Taschenbuch
Erscheinungsjahr:2016
Seitenzahl:376

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

Software-Abstraktionen, überarbeitete Ausgabe: Logik, Sprache und Analyse - Software Abstractions,...
Ein Ansatz für den Softwareentwurf, der eine...
Software-Abstraktionen, überarbeitete Ausgabe: Logik, Sprache und Analyse - Software Abstractions, Revised Edition: Logic, Language, and Analysis
Gesundheitsökonomie leicht gemacht, dritte Auflage (Jackson Daniel (University of Surrey UK)) -...
Ein prägnanter Leitfaden für diejenigen, die die...
Gesundheitsökonomie leicht gemacht, dritte Auflage (Jackson Daniel (University of Surrey UK)) - Healthcare Economics Made Easy, third edition (Jackson Daniel (University of Surrey UK))
Die Essenz der Software: Warum Konzepte für gutes Design wichtig sind - The Essence of Software: Why...
Ein revolutionärer konzeptbasierter Ansatz, um...
Die Essenz der Software: Warum Konzepte für gutes Design wichtig sind - The Essence of Software: Why Concepts Matter for Great Design
Gesundheitsökonomie leicht gemacht, zweite Auflage (Jackson Daniel (University of Surrey UK)) -...
Die erste Ausgabe wurde bei den BMA Medical Book...
Gesundheitsökonomie leicht gemacht, zweite Auflage (Jackson Daniel (University of Surrey UK)) - Healthcare Economics Made Easy, second edition (Jackson Daniel (University of Surrey UK))
Porträts der Resilienz - Portraits of Resilience
(Fotos und Geschichten von Menschen, die Depressionen, Angstzustände, Traumata und andere Herausforderungen bewältigt und...
Porträts der Resilienz - Portraits of Resilience
Die Essenz von Software: Warum Konzepte für gutes Design wichtig sind - The Essence of Software: Why...
Ein revolutionärer konzeptbasierter Ansatz für...
Die Essenz von Software: Warum Konzepte für gutes Design wichtig sind - The Essence of Software: Why Concepts Matter for Great Design
Populäre Opposition gegen die irische Selbstverwaltung im edwardianischen Großbritannien - Popular...
Dieses Buch ist eine heilsame Erinnerung daran,...
Populäre Opposition gegen die irische Selbstverwaltung im edwardianischen Großbritannien - Popular Opposition to Irish Home Rule in Edwardian Britain

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)