Software Abstractions, Revised Edition: Logica, linguaggio e analisi

Recensioni dei lettori

Il libro fornisce una solida introduzione al linguaggio di specifica Alloy, presentandone chiaramente la teoria e le applicazioni pratiche. È apprezzato per lo stile di scrittura accessibile, le esercitazioni strutturate e l'uso di visualizzazioni per la comprensione dei modelli. Tuttavia, alcuni lettori notano la mancanza di esempi non banali e sottolineano che l'edizione Kindle è obsoleta.

Stile di scrittura chiaro, introduzione accessibile ad Alloy, buoni esempi pratici, utile sia per gli accademici che per gli ingegneri, include visualizzazioni di modelli, tutorial per principianti, ben strutturato.

L'edizione Kindle è obsoleta, mancano esempi non banali per la modellazione di problemi complessi, il riferimento alla vecchia versione di Alloy può essere un problema, alcune notazioni matematiche sono assenti.

(basato su 14 recensioni dei lettori)

Titolo originale:

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

Contenuto del libro:

Un approccio alla progettazione del software che introduce un'analisi completamente automatizzata che fornisce ai progettisti un feedback immediato, ora con l'ultima versione del linguaggio Alloy.

In Software Abstractions Daniel Jackson introduce un approccio alla progettazione del software che si basa sui metodi formali tradizionali, ma che sfrutta strumenti automatizzati per individuare i difetti il prima possibile. Questo approccio - che Jackson chiama "metodi formali leggeri" o "modellazione agile" - prende dalle specifiche formali l'idea di una notazione precisa ed espressiva basata su un piccolo nucleo di concetti semplici e robusti, ma sostituisce l'analisi convenzionale basata sulla dimostrazione di teoremi con un'analisi completamente automatizzata che fornisce ai progettisti un feedback immediato.

Jackson ha sviluppato Alloy, un linguaggio che cattura l'essenza delle astrazioni del software in modo semplice e conciso, utilizzando un insieme minimo di nozioni matematiche. Questa edizione riveduta aggiorna il testo, gli esempi e le appendici per essere completamente compatibile con Alloy 4.