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 Product Line: Advanced TopicSoftware Product Line: Advanced Topic
by - InTech
The Software Product Line (SPL) is an emerging methodology for developing software products. There are two hot issues in the SPL: modelling and the analysis of the SPL. Variability modelling techniques have been developed to assist engineers ...
(10912 views)
Book cover: The Guide to the Software Engineering Body of KnowledgeThe Guide to the Software Engineering Body of Knowledge
by - IEEE
The purpose of this guide is to provide a consensually validated characterization of the bounds of the software engineering discipline and to provide a topical access to the Body of Knowledge supporting that discipline.
(19715 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.
(7478 views)
Book cover: Advances in Human Computer InteractionAdvances in Human Computer Interaction
by - InTech
The book surveys the disciplines that inhabit the study and practice of human-computer interaction. The authors are passionate advocates of innovative applications, novel approaches, and modern advances in this exciting and developing field.
(18326 views)