Logo

Specifying Systems by Leslie Lamport

Large book cover: Specifying Systems

Specifying Systems
by

Publisher: Addison-Wesley Professional
ISBN/ASIN: 032114306X
ISBN-13: 9780321143068
Number of pages: 382

Description:
This book shows how to write unambiguous specifications of complex computer systems. The first part provides an introduction to specification, explaining how to describe the behavioral properties of a system. The second part covers liveness and fairness, real-time properties, and composition. Final two parts provide a complete reference manual for the TLA+ language and tools, as well as a handy mini-manual.

Home page url

Download or read it online for free here:
Download link
(2.5MB, PDF)

Similar books

Book cover: Software ArchitectureSoftware Architecture
by - FTA
The central theme of this book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated.
(14209 views)
Book cover: The New Software EngineeringThe New Software Engineering
by - Global Text Project
The book discusses software engineer's project related knowledge and theoretical background. It covers project planning, project life cycles, methodologies, technologies, techniques, tools, languages, testing, databases, and CASE.
(19584 views)
Book cover: Scientific Programming and Computer ArchitectureScientific Programming and Computer Architecture
by - The MIT Press
This book examines and explains a variety of scientific programming models with an emphasis on how programming constructs map to different parts of the computer's architecture. Two themes emerge: program speed and program modularity.
(6457 views)
Book cover: Practical Tips for Software-Intensive Student ProjectsPractical Tips for Software-Intensive Student Projects
by
A collection of practical tips gathered from the authors' software engineering experience and from many books on the topic. It does not intend to cover software engineering theory. The book is meant for software engineering project courses.
(18939 views)