Communication Protocol Engineering - Pallapa Venkataram - książka wyd. 2014

Opis

to kompleksowy podręcznik poświęcony projektowaniu, implementacji i testowaniu protokołów komunikacyjnych. Autor przedstawia zarówno teoretyczne podstawy, jak i praktyczne narzędzia niezbędne do tworzenia niezawodnych systemów komunikacyjnych, wykorzystywanychm.in.. w telefonach, komputerach i chmurze obliczeniowej. Szczególny nacisk położono na nowoczesne standardy testowania zgodności, takie jak TTCN-3, oraz modelowanie protokołów z użyciem algebry procesów CSP i narzędzia PAT1. Książka zawiera rozbudowane rozdziały dotyczące analizy wymagań, projektowania, implementacji, testowania oraz bibliotek automatów stanów.