Practical Tla+: Rozwój oparty na planowaniu

Opinie czytelników

Książka stanowi przystępne wprowadzenie do PlusCal, języka, który kompiluje się do TLA+, z praktycznymi przykładami i jasnym stylem nauczania autora. Dobrze nadaje się dla początkujących w weryfikacji formalnej, chociaż niektóre podstawowe szczegóły TLA+ mogą zostać przeoczone. Istnieją drobne błędy i niektóre obszary, w których treść wydaje się niekompletna. Ogólnie rzecz biorąc, pomaga czytelnikom zdobyć biegłość w PlusCal, jednocześnie służąc jako potencjalny krok do głębszej eksploracji TLA+.

⬤ Świetne przykłady i jasne wyjaśnienia
⬤ praktyczne zastosowanie PlusCal
⬤ przystępny styl pisania
⬤ dobrze nadaje się dla początkujących
⬤ rzeczywiste przykłady użycia
⬤ pomógł czytelnikom nabrać biegłości w PlusCal.

⬤ Tytuł jest mylący, ponieważ koncentruje się bardziej na PlusCal niż na podstawowym TLA+
⬤ niektóre drobne błędy obecne
⬤ brakuje ćwiczeń do samodzielnego testowania
⬤ niektóre części składni i treści mogą być mylące lub niekompletne
⬤ niektórzy czytelnicy mogą czuć, że potrzebuje bardziej zaawansowanej treści.

(na podstawie 6 opinii czytelników)

Oryginalny tytuł:

Practical Tla+: Planning Driven Development

Zawartość książki:

Dowiedz się, jak projektować złożone, poprawne programy i rozwiązywać problemy przed napisaniem choćby jednej linijki kodu. Ta książka to praktyczne, kompleksowe źródło wiedzy na temat programowania w TLA+ z bogatymi, złożonymi przykładami. Practical TLA+ pokazuje, jak używać TLA+ do specyfikowania złożonego systemu i testowania samego projektu pod kątem błędów.

Dowiesz się, jak nawet krótka specyfikacja TLA+ może znaleźć krytyczne błędy. Zacznij od zapoznania się z przykładem TLA+ używanego w systemie przelewów bankowych, aby zobaczyć, jak pomaga on projektować, testować i budować lepszą aplikację. Następnie zapoznaj się z podstawami operatorów TLA+, logiki, funkcji, PlusCal, modeli i współbieżności. Po drodze dowiesz się, jak organizować swoje plany i jak określać systemy rozproszone i ewentualną spójność.

Wreszcie, wykorzystasz to, czego się nauczyłeś w praktyce, korzystając z kilku działających aplikacji studium przypadku, stosując TLA+ do szerokiej gamy praktycznych problemów: od wydajności algorytmów i struktur danych po kod biznesowy i MapReduce. Po przeczytaniu i skorzystaniu z tej książki będziesz miał wszystko, czego potrzebujesz, aby rozpocząć pracę z TLA+ i jak używać go w aplikacjach o znaczeniu krytycznym.

Czego się nauczysz

⬤ Czytać i pisać specyfikacje TLA+.

⬤ Sprawdzać specyfikacje pod kątem uszkodzonych niezmienników, warunków wyścigu i błędów liveness.

⬤ Projektowanie współbieżności i systemów rozproszonych.

⬤ Dowiedz się, jak TLA+ może pomóc Ci w codziennej pracy produkcyjnej.

Dla kogo jest ta książka

Dla osób z doświadczeniem programistycznym, które dopiero zaczynają przygodę z projektowaniem i TLA+.