Tlaková konferencia Praktické tla+: Vývoj riadený plánovaním

Recenzie čitateľov

Kniha poskytuje prístupný úvod do jazyka PlusCal, ktorý sa kompiluje do TLA+, s praktickými príkladmi a jasným štýlom učenia od autora. Je vhodná pre začiatočníkov vo formálnej verifikácii, hoci niektoré základné detaily TLA+ môžu byť prehliadnuté. Vyskytujú sa v nej drobné chyby a niektoré oblasti, v ktorých sa obsah zdá byť neúplný. Celkovo pomáha čitateľom získať zručnosti v PlusCal a zároveň slúži ako potenciálny odrazový mostík pre hlbšie skúmanie TLA+.

⬤ Skvelé príklady a jasné vysvetlenia
⬤ praktické použitie PlusCal
⬤ prístupný štýl písania
⬤ vhodný pre začiatočníkov
⬤ príklady použitia v reálnom svete
⬤ pomohli čitateľom stať sa zdatnými v PlusCal.

⬤ Názov je zavádzajúci, pretože sa zameriava viac na PlusCal ako na jadro TLA+
⬤ prítomné sú niektoré drobné chyby
⬤ chýbajú cvičenia na samostatné testovanie
⬤ niektoré časti syntaxe a obsahu môžu byť mätúce alebo neúplné
⬤ niektorí čitatelia môžu mať pocit, že potrebuje pokročilejší obsah.

(na základe 6 čitateľských recenzií)

Pôvodný názov:

Practical Tla+: Planning Driven Development

Obsah knihy:

Naučte sa navrhovať zložité, správne programy a riešiť problémy ešte pred napísaním jediného riadku kódu. Táto kniha je praktickým, komplexným zdrojom informácií o programovaní TLA+ s bohatými, komplexnými príkladmi. Praktický TLA+ vám ukáže, ako používať TLA+ na špecifikáciu zložitého systému a testovanie samotného návrhu na chyby.

Dozviete sa, ako aj krátka špecifikácia TLA+ dokáže nájsť kritické chyby. Začnite tým, že si namočíte nohy do príkladu TLA+ použitého v systéme bankových prevodov, aby ste videli, ako vám pomôže navrhnúť, otestovať a vytvoriť lepšiu aplikáciu. Potom si osvojte základy operátorov TLA+, logiky, funkcií, PlusCal, modelov a súbežnosti. Popritom zistíte, ako organizovať svoje plány a ako špecifikovať distribuované systémy a prípadnú konzistenciu.

Nakoniec využijete to, čo sa naučíte, v praxi s niekoľkými pracovnými aplikáciami prípadových štúdií, pričom budete aplikovať TLA+ na širokú škálu praktických problémov: od výkonu algoritmov a dátových štruktúr až po obchodný kód a MapReduce. Po prečítaní a použití tejto knihy budete mať všetko, čo potrebujete na to, aby ste mohli začať pracovať s TLA+ a ako ho používať vo svojich kritických aplikáciách.

Čo sa naučíte

⬤ Čítať a písať špecifikácie TLA+.

⬤ Kontrolovať špecifikácie na porušené invarianty, race conditions a chyby živosti.

⬤ Navrhovanie súbežnosti a distribuovaných systémov.

⬤ Zistite, ako vám TLA+ môže pomôcť pri každodennej produkčnej práci.

Pre koho je táto kniha určená

Tým, ktorí majú skúsenosti s programovaním a sú nováčikmi v oblasti návrhu a TLA+.