|
|
|||
|
||||
OverviewThis edition provides a comprehensively updated and enhanced review of current quality methods and standards. It outlines causes of failure, current practice and standards and suggests an ideal approach to software control at each stage of the design cycle. The emphasis of this new edition has shifted towards safety critical software. This book should be of interest to systems designers, software engineers, and safety and reliability engineers. Full Product DetailsAuthor: David J. Smith , Kenneth B. WoodPublisher: Chapman and Hall Imprint: Chapman and Hall Edition: 3rd Revised edition Weight: 0.510kg ISBN: 9780412622700ISBN 10: 041262270 Pages: 304 Publication Date: June 1995 Audience: College/higher education , Professional and scholarly , Undergraduate , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: Out of stock The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsPart 1 The background to software engineering and quality: the meaning of quality in software; software failures and life-cycle; integrity and the safety life-cycle. Part 2 Guidance, legislation and liability: legislation and liability; current standards and guidelines; certification and competence. Part 3 Achieving software quality; the traditional approach; formal methods in requirements; formal methods in design; review and test; static analysis; languages and processors; achieving fault tolerance in design. Part 4 Management issues: software management issues; metrics and modelling. Part 5 Case study: software system design exercise - addressable detection system. Checklists.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |