High-Integrity System Specification and Design (Paperback, Softcover reprint of the original 1st ed. 1999)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Formal Approaches to Computing and Information Technology (FACIT)
Release date:	April 1999
First published:	April 1999
Authors:	Jonathan P. Bowen • Michael G. Hinchey
Dimensions:	235 x 155 x 40mm (L x W x T)
Format:	Paperback
Pages:	701
Edition:	Softcover reprint of the original 1st ed. 1999
ISBN-13:	978-3-540-76226-3
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-76226-4
Barcode:	9783540762263

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!