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
SOA eBook: Patterns, Mashups, Governance, Service Modeling, and More- Pearson e ducation, Inc.
This volume is a collection of chapters from eight popular books, comprehensive tutorials that teach fundamental and advanced SOA design principles, supplemented with detailed case studies and technologies used to implement SOAs in the real world.
(3325 views)
The Grand Unified Theory of Software Engineeringby Mathias Ekstedt - Industrial Info Systems
This book is the result of innumerable longwinded, oftentimes unnecessarily complicated, discussions between the authors on the nature of software engineering, machines, minds, design, software, engineering, organizations and more.
(6510 views)
SOA Source Book- Van Haren Publishing
The SOA Source Book will help enterprise architects to use SOA effectively. It explains: What SOA is; How to evaluate SOA features in business terms; How to model SOA; How to use The Open Group Architecture Framework for SOA; SOA governance.
(7403 views)
Software Foundationsby Benjamin C. Pierce - University of Pennsylvania
These are notes for a course on software foundations, suitable for graduate or upper-level undergraduate students. They develop basic concepts of functional programming, logic, operational semantics, lambda-calculus, and static type systems.
(7994 views)