Gyakorlati Tla+: Tervezésvezérelt fejlesztés

Olvasói vélemények

A könyv közérthető bevezetést nyújt a PlusCal nyelvbe, amely a TLA+ nyelvvé állítható össze, gyakorlati példákkal és a szerző világos tanítási stílusával. Jól alkalmazható a formális verifikációban kezdők számára, bár néhány alapvető TLA+ részletet esetleg figyelmen kívül hagyhat. Vannak kisebb hibák és néhány olyan terület, ahol a tartalom hiányosnak tűnik. Összességében segít az olvasóknak jártasságot szerezni a PlusCalban, miközben potenciális ugródeszkaként szolgál a TLA+ mélyebb felfedezéséhez.

⬤ Nagyszerű példák és világos magyarázatok
⬤ a PlusCal gyakorlati alkalmazása
⬤ megközelíthető írásmód
⬤ jól használható kezdők számára
⬤ valós felhasználási példák
⬤ segített az olvasóknak a PlusCal elsajátításában.

⬤ A cím félrevezető, mivel inkább a PlusCalra, mint az alapvető TLA+-ra összpontosít
⬤ néhány kisebb hiba jelen van
⬤ hiányoznak az önellenőrzéshez szükséges gyakorlatok
⬤ a szintaxis és a tartalom bizonyos részei zavarosak vagy hiányosak lehetnek
⬤ néhány olvasó úgy érezheti, hogy haladóbb tartalomra lenne szükség.

(6 olvasói vélemény alapján)

Eredeti címe:

Practical Tla+: Planning Driven Development

Könyv tartalma:

Tanulja meg, hogyan tervezzen komplex, helyes programokat, és hogyan javítsa ki a problémákat, mielőtt egyetlen sor kódot írna. Ez a könyv a TLA+ programozás gyakorlatias, átfogó forrása, gazdag, összetett példákkal. A Gyakorlati TLA+ megmutatja, hogyan használhatja a TLA+-t egy összetett rendszer specifikálására, és hogyan tesztelheti magát a tervezést hibák szempontjából.

Megtanulhatja, hogyan lehet még egy rövid TLA+ specifikációval is kritikus hibákat találni. Kezdje azzal, hogy egy banki átutalási rendszerben használt TLA+ példán keresztül, és meglátja, hogyan segít Önnek egy jobb alkalmazás megtervezésében, tesztelésében és létrehozásában. Ezután ismerkedjen meg a TLA+ operátorok, logika, függvények, PlusCal, modellek és párhuzamosság alapjaival. Útközben megtudja, hogyan szervezze a tervrajzokat, és hogyan adjon meg elosztott rendszereket és esetleges konzisztenciát.

Végül néhány működő esettanulmány-alkalmazás segítségével a gyakorlatban is alkalmazza a tanultakat, a TLA+-t a legkülönfélébb gyakorlati problémákra alkalmazva: az algoritmusok teljesítményétől és az adatszerkezetektől kezdve az üzleti kódokig és a MapReduce-ig. A könyv elolvasása és használata után rendelkezni fog azzal, amire szüksége van ahhoz, hogy elkezdje használni a TLA+-t, és hogyan alkalmazza azt a kritikus fontosságú alkalmazásaiban.

Amit tanulni fog

⬤ TLA+ specifikációk olvasása és írása.

⬤ Ellenőrizze a specifikációkat a hibás invarianciák, versenyfeltételek és az életképességi hibák szempontjából.

⬤ Párhuzamos és elosztott rendszerek tervezése.

⬤ Tudja meg, hogyan segíthet a TLA+ a mindennapi gyártási munkában.

Kinek szól ez a könyv

Programozási tapasztalattal rendelkezők, akiknek új a tervezés és a TLA+.