Opinie czytelników
Podsumowanie:Książka stanowi solidne wprowadzenie do języka specyfikacji Alloy, jasno prezentując jego teorię i praktyczne zastosowania. Jest chwalona za przystępny styl pisania, ustrukturyzowane samouczki i wykorzystanie wizualizacji do zrozumienia modeli. Niektórzy czytelnicy zwracają jednak uwagę na brak nietrywialnych przykładów i wskazują, że wydanie Kindle jest przestarzałe.
Zalety:Przejrzysty styl pisania, przystępne wprowadzenie do Alloy, dobre praktyczne przykłady, przydatne zarówno dla naukowców, jak i inżynierów, zawiera wizualizacje modeli, samouczki przyjazne dla początkujących, dobrze zorganizowane.
Wady:Wydanie Kindle jest przestarzałe, brakuje nietrywialnych przykładów modelowania złożonych problemów, starsza wersja Alloy może stanowić problem, niektóre notacje matematyczne są nieobecne.
(na podstawie 14 opinii czytelników)
Oryginalny tytuł:
Software Abstractions, Revised Edition: Logic, Language, and Analysis
Zawartość książki:
Podejście do projektowania oprogramowania, które wprowadza w pełni zautomatyzowaną analizę dającą projektantom natychmiastową informację zwrotną, teraz z najnowszą wersją języka Alloy.
W Software Abstractions Daniel Jackson przedstawia podejście do projektowania oprogramowania, które opiera się na tradycyjnych metodach formalnych, ale wykorzystuje zautomatyzowane narzędzia do znajdowania błędów tak wcześnie, jak to możliwe. Podejście to - które Jackson nazywa "lekkimi metodami formalnymi" lub "zwinnym modelowaniem" - czerpie z formalnej specyfikacji ideę precyzyjnej i ekspresyjnej notacji opartej na niewielkim rdzeniu prostych i solidnych koncepcji, ale zastępuje konwencjonalną analizę opartą na dowodzeniu twierdzeń w pełni zautomatyzowaną analizą, która daje projektantom natychmiastową informację zwrotną.
Jackson opracował Alloy, język, który w prosty i zwięzły sposób oddaje istotę abstrakcji oprogramowania, wykorzystując minimalny zestaw pojęć matematycznych. To poprawione wydanie aktualizuje tekst, przykłady i dodatki, aby były w pełni kompatybilne z Alloy 4.
