Olvasói vélemények
Összegzés:A könyv alapos bevezetést nyújt az Alloy specifikációs nyelvbe, világosan bemutatva annak elméletét és gyakorlati alkalmazásait. Dicsérik a közérthető írásmódját, a strukturált oktatóanyagokat és a modellek megértését segítő vizualizációk használatát. Néhány olvasó azonban megjegyzi a nem triviális példák hiányát, és rámutat, hogy a Kindle-kiadás elavult.
Előnyök:Világos írásmód, közérthető bevezetés az Alloy-ba, jó gyakorlati példák, hasznos mind az akadémikusok, mind a mérnökök számára, tartalmazza a modellek vizualizációit, kezdőbarát oktatóanyagok, jól strukturált.
Hátrányok:A Kindle-kiadás elavult, hiányoznak a nem triviális példák az összetett problémák modellezésére, az Alloy régebbi verziójára való hivatkozás problémát jelenthet, egyes matematikai jelölések hiányoznak.
(14 olvasói vélemény alapján)
Eredeti címe:
Software Abstractions, Revised Edition: Logic, Language, and Analysis
Könyv tartalma:
A szoftvertervezés olyan megközelítése, amely teljesen automatizált elemzést vezet be, amely azonnali visszajelzést ad a tervezőknek, most az Alloy nyelv legújabb verziójával.
A Software Abstractions című könyvben Daniel Jackson a szoftvertervezés olyan megközelítését mutatja be, amely a hagyományos formális módszerekre támaszkodik, de automatizált eszközöket használ ki a hibák minél korábbi felderítésére. Ez a megközelítés - amelyet Jackson "könnyített formális módszereknek" vagy "agilis modellezésnek" nevez - a formális specifikációból veszi át az egyszerű és robusztus fogalmak apró magján alapuló pontos és kifejező jelölés ötletét, de a hagyományos, tételbizonyításon alapuló elemzést teljesen automatizált elemzéssel helyettesíti, amely azonnali visszajelzést ad a tervezőknek.
Jackson kifejlesztette az Alloy-t, egy olyan nyelvet, amely egyszerűen és tömören, a matematikai fogalmak minimális eszköztárát használva ragadja meg a szoftverabsztrakciók lényegét. Ez az átdolgozott kiadás frissíti a szöveget, a példákat és a függelékeket, hogy teljes mértékben kompatibilisek legyenek az Alloy 4-gyel.
