Software Reliability
Achievement and Assessment
Published on 1. September 1987
Book
Hardback
240 pages
978-0-632-01573-3 (ISBN)
Description
This book arises from the Second Centre for Software Reliability Workshop which was held at the University of Keele in April 1985. The theme of the workshop was the achievement and measurement of software reliability and the speakers addressed the following questions: reliability achievement; reliability methods and measurement; the special reliability problems associated with particular applications; and management issues.
More details
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
McGraw-Hill Education - Europe
Target group
College/higher education
Professional and scholarly
Illustrations
70 illustrations
Dimensions
Height: 250 mm
Width: 160 mm
ISBN-13
978-0-632-01573-3 (9780632015733)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Content
Contents: Building safe software; Requirements, specification and testing; Quality plans as a means of coordination, and engineering improvement; Design fault tolerance in practical systems; Software failures are management failures; STATENGINE - a software reliable digital system for synchronous engineering. Task model, dedication architecture and task language; Diversity by design - reliability aspects of systems with embedded software; Management metrics; Systematic versus probabilistic verification efforts - some examples; Data requirements for software reliability prediction; How good are software reliability predictions?; Entropy/information theory and (software) reliability; The r le for entropy and information in software reliability; The use of models in reliability; Safety systems for railways; Reliable funds transfer.