Software Abstractions, Revised Edition: Logika, jazyk a analýza

Recenze čtenářů

Kniha poskytuje solidní úvod do specifikačního jazyka Alloy a přehledně představuje jeho teorii a praktické aplikace. Je chválena za přístupný styl psaní, strukturované výukové programy a použití vizualizací pro pochopení modelů. Někteří čtenáři však upozorňují na nedostatek netriviálních příkladů a poukazují na to, že vydání pro Kindle je zastaralé.

Srozumitelný styl psaní, přístupný úvod do slitiny, dobré praktické příklady, užitečné pro akademiky i inženýry, obsahuje vizualizace modelů, výukové programy pro začátečníky, dobře strukturované.

Kindle vydání je zastaralé, chybí netriviální příklady pro modelování komplexních problémů, problémem může být odkaz na starší verzi Alloy, chybí některé matematické notace.

(na základě 14 hodnocení čtenářů)

Původní název:

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

Obsah knihy:

Přístup k návrhu softwaru, který zavádí plně automatizovanou analýzu poskytující návrhářům okamžitou zpětnou vazbu, nyní s nejnovější verzí jazyka Alloy.

V knize Softwarové abstrakce Daniel Jackson představuje přístup k návrhu softwaru, který vychází z tradičních formálních metod, ale využívá automatizované nástroje k co nejčasnějšímu odhalení chyb. Tento přístup - který Jackson nazývá "odlehčené formální metody" nebo "agilní modelování" - přebírá z formální specifikace myšlenku přesného a výrazného zápisu založeného na malém jádru jednoduchých a robustních konceptů, ale nahrazuje konvenční analýzu založenou na dokazování teorémů plně automatizovanou analýzou, která poskytuje návrhářům okamžitou zpětnou vazbu.

Jackson vyvinul jazyk Alloy, který jednoduše a stručně zachycuje podstatu softwarových abstrakcí pomocí minimální sady matematických pojmů. Toto revidované vydání aktualizuje text, příklady a přílohy tak, aby byly plně kompatibilní s Alloy 4.