Download PDF Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books
Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ programming with rich, complex examples. Practical TLA+ shows you how to use TLA+ to specify a complex system and test the design itself for bugs.
Download PDF Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books
"I previously had good working knowledge of TLA+ and had applied it some projects at work involving concurrency. This book served as an excellent introduction to PlusCal, which is a variant of TLA+ that addresses shortcomings with how the language handles communicating sequential processes. After working through this book, I am now proficient in PlusCal and am using it in a work project at this very moment! The author has a very approachable style, and I think this applications-focused book is well worth software engineers' time."
Product details
|
Tags : Practical TLA+ Planning Driven Development [Hillel Wayne] on . <div><div><div>Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical,Hillel Wayne,Practical TLA+ Planning Driven Development,Apress,1484238281,Computer science,B,COMPUTER,COMPUTERS / Programming / General,COMPUTERS / Programming Languages / General,COMPUTERS / Software Development Engineering / General,Compilers interpreters,Computer Applications,Computer programming / software development,Computer programming / software engineering,Computer/Languages,Computers/Programming - General,Computers/Software Development Engineering - General,General Adult,How-to/Do-it-yourself,Informatik, EDV / Programmiersprachen,Non-Fiction,Professional and Applied Computing,Programming scripting languages general,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering,TLA+; programming; PlusCal; formal methods; specification; software; design; engineering; architecture; testing; concurrency; model checking; temporal logic; source code,TLA+;programming;TLA+;PlusCal;formal methods;specification;software;design;engineering;architecture;testing;concurrency;model checking;temporal logic;source code,United States,COMPUTERS / Programming / General,COMPUTERS / Programming Languages / General,COMPUTERS / Software Development Engineering / General,Computers/Programming - General,Computers/Software Development Engineering - General,Compilers interpreters,Computer programming / software engineering,Software Engineering,Computer programming / software development,Programming scripting languages general,Informatik, EDV / Programmiersprachen
Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books Reviews :
Practical TLA+ Planning Driven Development Hillel Wayne 9781484238288 Books Reviews
- The author does a great job creating small examples of specifications that seem completely plausible but that have bugs immediately detectable by the TLC model checker.
Do note that the title is a misnomer. The book focuses on PlusCal rather than core TLAâº. (Pluscal is a programmer friendly language that compiles into TLAâº). If you want to know more about TLA⺠after reading this book, it is worthwhile to view the training videos on the TLA⺠homepage.
If you do purchase this book, check-out the errata on the authors github page (the errors are mostly minor). It is also informative to look at Leslie Lamport's commentary on the book https//lamport.azurewebsites.net/tla/practical-tla.html .
The author, Hillel Wayne, has an excellent style and is an experienced instructor. I hope that he writes a follow-on book that delves deeper into TLAâº, explores more advanced examples, and demonstrates the TLAPS proof assistant. - TLA+ has a well deserved reputation for difficult. This is the first book I know of that takes TLA+ and shows actual real world examples of its use in model and spec checking. If you have tried Lamport's book and gave up in frustration, start with this one. Many reasonable real world examples, worked out fully and completely.
- I previously had good working knowledge of TLA+ and had applied it some projects at work involving concurrency. This book served as an excellent introduction to PlusCal, which is a variant of TLA+ that addresses shortcomings with how the language handles communicating sequential processes. After working through this book, I am now proficient in PlusCal and am using it in a work project at this very moment! The author has a very approachable style, and I think this applications-focused book is well worth software engineers' time.