Specifying Systems
by Leslie Lamport
Publisher: Addison-Wesley Professional 2002
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.
Download or read it online for free here:
Download link
(2.5MB, PDF)
Similar books

by Eve Andersson, Philip Greenspun, Andrew Grumet - The MIT Press
After completing this course on server-based Internet applications software, students who start with only the knowledge of how to write and debug a computer program will have learned how to build web-based applications on the scale of Amazon.com.
(20163 views)

by Mike Perry, Nasko Oskov - UIUC
An introduction to reverse engineering software under both Linux and Windows. The author uses the Scientific Method to deduce specific behavior and to target, analyze, extract and modify specific operations of a program for interoperability purposes.
(15634 views)

by Vishnuvarthanan Moorthy - Smashwords
Software Quality Assurance contributes in building capable processes in organization. This book provides practical insight for software quality analyst to start being productive within days, and contribute to building such capable processes.
(12695 views)

by David Longstreet - SoftwareMetrics.Com
The book introduces the basic concepts of function point analysis and unit cost estimating, describes and defines the concepts necessary to establish a boundary between applications, identifies and rates external inputs and external outputs, etc.
(15811 views)