Item description for High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology) by Jonathan P. Bowen...
This volume provides the reader with a comprehensive introduction to system specification and design methods, with particular emphasis on structured and formal methods, method integration, concurrency and safety-critical systems. It contains both new material by Michael Hinchey and Jonathan Bowen, along with reprints of classic articles on high-integrity systems which have never before appeared together in a single volume. Among these classic articles are contributions from such leading names as Leslie Lamport, Nancy Leveson, and C.A.R. Hoare. Also included is a Foreword by David Lorge Parnas. High-Integrity System Specification and Design will provide practitioners and researchers convenient access to a range of essential essays - both classic and state-of-the-art - in a single volume. It provides them with details of specification and design approaches for this type of system, an overview of the development process, and evidence of how various classes of high- integrity systems may be approached and developed successfully.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Availability 63 units. Availability accurate as of May 29, 2017 02:02.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.
Reviews - What do customers think about High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology)?
Excellent Paper Collection !!! Sep 6, 2000
This is an excellent book about using formal method to develop high-integrity system. Most papers well-known in this research area. Although some papers were published more than 20 years, they are still worth reading. This is the best paper collection I could found!