Recenzii ale cititorilor
Rezumat:Cartea oferă o introducere solidă în limbajul de specificații Alloy, prezentând în mod clar teoria și aplicațiile sale practice. Este lăudată pentru stilul său accesibil de scriere, tutorialele structurate și utilizarea vizualizărilor pentru a înțelege modelele. Cu toate acestea, unii cititori observă o lipsă de exemple non-triviale și subliniază faptul că ediția Kindle este depășită.
Avantaje:Stil de scriere clar, introducere accesibilă în Alloy, exemple practice bune, util atât pentru universitari, cât și pentru ingineri, include vizualizări ale modelelor, tutoriale ușor de înțeles pentru începători, bine structurat.
Dezavantaje:Ediția Kindle este depășită, îi lipsesc exemplele non-triviale pentru modelarea problemelor complexe, referința la versiunea Alloy mai veche poate fi o problemă, unele notații matematice sunt absente.
(pe baza a 14 recenzii ale cititorilor)
Titlul original:
Software Abstractions, Revised Edition: Logic, Language, and Analysis
Conținutul cărții:
O abordare a proiectării de software care introduce o analiză complet automatizată, oferind proiectanților un feedback imediat, prezentând acum cea mai recentă versiune a limbajului Alloy.
În Software Abstractions, Daniel Jackson prezintă o abordare a proiectării de software care se bazează pe metodele formale tradiționale, dar exploatează instrumente automate pentru a găsi defectele cât mai devreme posibil. Această abordare - pe care Jackson o numește "metode formale ușoare" sau "modelare agilă" - preia din specificațiile formale ideea unei notații precise și expresive bazate pe un mic nucleu de concepte simple și robuste, dar înlocuiește analiza convențională bazată pe demonstrarea teoremei cu o analiză complet automatizată care oferă proiectanților un feedback imediat.
Jackson a dezvoltat Alloy, un limbaj care surprinde simplu și succint esența abstracțiilor software, folosind un set minim de instrumente de noțiuni matematice. Această ediție revizuită actualizează textul, exemplele și anexele pentru a fi complet compatibilă cu Alloy 4.
