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
Introduction to Software Engineering- Wikibooks
The problems to solve in software engineering are so complex or large, that a single developer cannot solve them anymore. This book is an introduction to the art of software engineering. It is intended as a textbook for an undergraduate level course.
(2717 views)
Practical Tips for Software-Intensive Student Projectsby Damith C. Rajapakse
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.
(11489 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.
(6754 views)
Software Product Line: Advanced Topicby Abdelrahman Osman Elfaki - 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 ...
(4926 views)