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
A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSeby Antoni Niederlinski
Introductory and down-to-earth presentation of Constraint Logic Programming, an exciting software paradigm, more and more popular for solving combinatorial as well as continuous constraint satisfaction problems and constraint optimization problems.
(6795 views)
Handbook of Software Reliability Engineeringby Michael R. Lyu - McGraw-Hill
From leading industrial/research experts, here is an insider's look at today's best practices for software reliability engineering. This is a guide for software developers, designers, project managers, high-level applications programmers, et al.
(7381 views)
Knowware: the third star after Hardware and Softwareby Ruqian Lu - Polimetrica
This book proposes to separate knowledge from software and to make it a commodity that is called knowware. The architecture, representation and function of Knowware are discussed. The principles of knowware engineering are analyzed.
(7922 views)
Jumpstart to Software Quality Assuranceby 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.
(8048 views)