Practical TLA+ : Planning Driven Development

Practical TLA+ Planning Driven Development

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 b...

Descripción completa

Detalles Bibliográficos
Autor principal: Wayne, Hillel. author (author)
Formato: Libro electrónico
Idioma:Inglés
Publicado: Berkeley, CA : Apress 2018.
Edición:1st ed. 2018.
Materias:
Programming languages (Electronic computers).
Computer programming.
Software engineering.
Programming Languages, Compilers, Interpreters.
Programming Techniques.
Software Engineering.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009630502506719
Tabla de Contenidos:
  • Part I: The Semantics of TLA+ and PlusCal
  • 1. An Example
  • 2. PlusCal
  • 3. Operators and Functions
  • 4. Constants, Models, and Imports
  • 5. Concurrency
  • 6. Temporal Logic
  • Part II: Applying TLA+
  • 7. Algorithms
  • 8. Data Structures
  • 9. State Machines
  • 10. Ambiguity and Feature Interation
  • 11. Case Study: MapReduce
  • Appendix A: Mathematics
  • Appendix B: PT library
  • Appendix C: PlusCal to TLA+.

Ejemplares similares