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
Recommended Approach to Software Developmentby Linda Landis, et al.
Guidelines for an organized approach to software development, based on studies conducted by the Software Engineering Laboratory, an organization sponsored by the NASA/GSFC. It describes methods for each phase of a software development life cycle.
(11281 views)
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.
(3502 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.
(8219 views)
Software Architectureby A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman - FTA
The central theme of this book is balancing the concerns and requirements of stakeholders, combining these into an architecture proposal by employing known tactics and patterns, producing a description of the architecture that can be communicated.
(7093 views)