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: 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.
(13714 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.
(15339 views)
Book cover: Acceptance Test Engineering GuideAcceptance Test Engineering Guide
by - Microsoft
The Guide will provide guidance for technology stakeholders (developers, development leads, testers, test leads, architects, etc.) and business stakeholders (managers, customers, end users, etc) on the discipline of acceptance testing.
(9263 views)
Book cover: Software Engineering for Internet ApplicationsSoftware Engineering for Internet Applications
by - 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.
(15716 views)