High-Integrity System Specification and Design
Our rough guess is there are 175,250 words in this book.
At a pace averaging 250 words per minute, this book will take 11 hours and 41 minutes to read. With a half hour per day, this will take 24 days to read.
How long will it take you?
This book will take an estimated to read at a reading speed averaging words per minute. With 30 minutes per day, this will take to read.
Enter your reading speedYou can take one of our WPM reading speed tests to find your reading speed.
Create a free account to track your reading progress, build your reading list, and set reading goals.
Author
Contributions
- Hinchey, Michael G. - Contributor
Publication
1999 - Springer London, London, England
Language
English
Word Count
175,250 words, Guess
Page Count
701 pages
Physical Format
Electronic resource
Identifiers
- Internet Archivehighintegritysys00bajo
- ISBN-101447134311
- ISBN-139781447134312
- OCLC Control Number840277617
- Better World Books9781447134312
and 1 more
- Open LibraryOL27043444M
Classifications
- LCCQA76.758
Description
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.
Subjects
Series Statement
- Formal Approaches to Computing and Information Technology (FACIT)
Links
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!