The Cleanroom Process for Zero-defect Software
Author : Chung-Chin Yen
Publisher :
Page : 266 pages
File Size : 38,23 MB
Release : 1995
Category : Computer software
ISBN :
Author : Chung-Chin Yen
Publisher :
Page : 266 pages
File Size : 38,23 MB
Release : 1995
Category : Computer software
ISBN :
Author : Allan M. Stavely
Publisher : Addison-Wesley Professional
Page : 268 pages
File Size : 19,78 MB
Release : 1999
Category : Computers
ISBN :
Toward Zero-Defect Programming describes current methods for writing (nearly) bug-free programs. These methods are based on practices developed at IBM and elsewhere under the name Cleanroom Software Engineering. The successful application of these methods in commercial projects over the past fifteen years has produced defect rates that are, at least, an order of magnitude lower than industry averages. Remarkably, this reduction in defects comes at no net cost; on the contrary, it is often accompanied by increased productivity and shorter overall development time. In a concise and well-illustrated presentation, Stavely shows how these methods can be applied in three key areas of software development: 1. specification, 2. verification, and 3. testing.
Author : G. Gordon Schulmeyer
Publisher : McGraw-Hill Companies
Page : 394 pages
File Size : 34,86 MB
Release : 1990
Category : Computers
ISBN :
Izboljšava kvalitete programske opreme s ciljem brezhibnosti, predvsem z inteligentno uporabo statistične kontrole za kontrolirani (ang. controled) in overjeni proces razvoja softwarea.
Author :
Publisher :
Page : 63 pages
File Size : 34,37 MB
Release : 1995
Category :
ISBN :
Cleanroom software engineering is a theory-based, team-oriented process for on-schedule development and certification of ultrahigh reliability software systems with improved productivity under statistical quality control. The Cleanroom name is borrowed from hardware Cleanrooms, with their emphasis on prevention of errors through engineering discipline, rather than error removal. Cleanroom combines rigorous methods of software specification, design, correctness verification, and statistical quality certification in a new life cycle model based on incremental development. You can use the Cleanroom process and supporting technologies to develop software systems that approach zero defects and have scientifically certified reliability for operational field use. In contrast to traditional development approaches, in the Cleanroom process you embed software development and testing within a formal statistical quality control process. In such a process, software engineering is required to create software that approaches zero defects and can enter system testing directly. Then statistical usage-based testing is used to provide statistical inferences about the reliability of the software. This systematic process of assessing and controlling software quality during development permits you to certify product reliability at delivery, based on a complete public record of the testing and all engineering change activity required to deliver acceptable software. The significance of a process under statistical quality control is well illustrated by modem manufacturing techniques where the sampling of output is directly fed back into the process to control quality. Once the discipline of statistical quality control is in place, management has objective visibility into the software development process and can control process changes to control product quality.
Author : Bharat Bhushan Agarwal
Publisher : Laxmi Publications
Page : 248 pages
File Size : 42,11 MB
Release : 2011-05
Category :
ISBN : 938085692X
Author : Roger S. Pressman
Publisher : Palgrave Macmillan
Page : 924 pages
File Size : 23,77 MB
Release : 2005
Category : Computers
ISBN : 9780073019338
For more than 20 years, this has been the best selling guide to software engineering for students and industry professionals alike. This edition has been completely updated and contains hundreds of new references to software tools.
Author : Michael Dyer
Publisher :
Page : 232 pages
File Size : 41,56 MB
Release : 1992-02-07
Category : Computers
ISBN :
Describes the first practical attempt to place software development under statistical quality control and to deliver software with a known and certified meantime to failure. Shows how to improve productivity during software development using statistical design methods, and gives guidelines for writing more precise specifications, building simpler designs and avoiding error rework.
Author :
Publisher : Arihant Publications India limited
Page : 1199 pages
File Size : 21,50 MB
Release :
Category :
ISBN : 9326194965
Author :
Publisher : Nirali Prakashan
Page : 438 pages
File Size : 20,12 MB
Release :
Category :
ISBN : 9788190639644
Author : Shirley A. Becker
Publisher : IGI Global
Page : 212 pages
File Size : 35,47 MB
Release : 1997-01-01
Category : Computers
ISBN : 9781878289346
Cleanroom Software Engineering is a set of techniques and practices for the development of software-intensive systems. This book brings together concepts, lessons learned and best practices resulting from Cleanroom projects surveyed in the past several years.