Recenzie čitateľov
Zhrnutie:Kniha poskytuje solídny úvod do jazyka špecifikácií Alloy a prehľadne predstavuje jeho teóriu a praktické aplikácie. Je chválená za prístupný štýl písania, štruktúrované učebné texty a používanie vizualizácií na pochopenie modelov. Niektorí čitatelia však upozorňujú na nedostatok netriviálnych príkladov a poukazujú na to, že vydanie pre Kindle je zastarané.
Výhody:Jasný štýl písania, prístupný úvod do Alloy, dobré praktické príklady, užitočné pre akademikov aj inžinierov, obsahuje vizualizácie modelov, príručky pre začiatočníkov, dobre štruktúrované.
Nevýhody:Kindle vydanie je zastarané, chýbajú netriviálne príklady na modelovanie komplexných problémov, problémom môže byť odkaz na staršiu verziu Alloy, chýbajú niektoré matematické zápisy.
(na základe 14 čitateľských recenzií)
Pôvodný názov:
Software Abstractions, Revised Edition: Logic, Language, and Analysis
Obsah knihy:
Prístup k návrhu softvéru, ktorý zavádza plne automatizovanú analýzu poskytujúcu návrhárom okamžitú spätnú väzbu, teraz s najnovšou verziou jazyka Alloy.
V knihe Softvérové abstrakcie Daniel Jackson predstavuje prístup k návrhu softvéru, ktorý vychádza z tradičných formálnych metód, ale využíva automatizované nástroje na čo najskoršie odhalenie chýb. Tento prístup - ktorý Jackson nazýva "odľahčené formálne metódy" alebo "agilné modelovanie" - preberá z formálnej špecifikácie myšlienku presného a výrazného zápisu založeného na malom jadre jednoduchých a robustných konceptov, ale nahrádza tradičnú analýzu založenú na dokazovaní tvrdení plne automatizovanou analýzou, ktorá poskytuje návrhárom okamžitú spätnú väzbu.
Jackson vyvinul jazyk Alloy, ktorý jednoducho a stručne zachytáva podstatu softvérových abstrakcií pomocou minimálneho súboru matematických pojmov. Toto revidované vydanie aktualizuje text, príklady a dodatky tak, aby boli plne kompatibilné s Alloy 4.
