+612 9045 4394
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Cleanroom Software Engineering : A Reader - Jesse Poore

Cleanroom Software Engineering

A Reader

Hardcover Published: 3rd June 1996
ISBN: 9781855546547
Number Of Pages: 392

Share This Book:


RRP $166.95
or 4 easy payments of $35.31 with Learn more
Ships in 10 to 15 business days

Earn 283 Qantas Points
on this Book

The software industry is in transition from craft work to engineering practice, but development, operational and maintenance overheads are still unpredictable and expensive. Cleanroom Software engineering is the first practical development and certification to use statistical quality control to reduce software defects and costs. It has already distinguished itself as a complete software life cycle process with sound foundations in theory and demonstrated effectiveness in practice. <p>The Cleanroom method is one of the few fully articulated life cycle process models in software engineering today and involves: <p>*Incremental development under statistical process review. <br>*Formal methods for specification, design and verification. <br>*Statistical reliability certification. <p><i>A Reader in Classroom Software Engineering</i> gathers together, for the first time, the most up-to-date material available to form an in-depth treatment of the complete Cleanroom process.

List of Contributors
An Overview of Cleanroom Software Engineeringp. 1
Adopting Cleanroom Software Engineering with a Phased Approachp. 5
Cleanroom Managementp. 37
Current Practice in Cleanroom Managementp. 39
Cleanroom Software Engineeringp. 41
Cleanroom: an Alternative Software Development Processp. 55
The Cleanroom Approach to Six Sigma: Combining Informationp. 71
Planning and Certifying Software System Reliabilityp. 83
Cleanroom Process Modelp. 111
Evolving Practice in Cleanroom Managementp. 133
Cleanroom Developmentp. 135
Current Practice in Cleanroom Developmentp. 137
Box-structured Information Systemsp. 139
Stepwise Refinement and Verification in Box-structured Systemsp. 169
Correctness Verification: Alternative to Structural Software Testingp. 199
Reuse and Cleanroomp. 215
Six-sigma Software Using Cleanroom Software Engineering Techniquesp. 231
Evolving Practice in Cleanroom Developmentp. 259
Cleanroom Certificationp. 263
Current Practice in Cleanroom Certificationp. 265
A Cleanroom Test Case Generation Toolp. 269
Markov Analysis of Software Specificationsp. 287
A Markov Chain Model for Statistical Software Testingp. 303
Statistical Testing of Software Based on a Usage Modelp. 331
Certification of Software Componentsp. 345
Experimental Control in Software Reliability Certificationp. 361
Evolving Practice in Cleanroom Certificationp. 373
Appendix A Training and Consultationp. 375
Appendix B Toolsp. 379
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9781855546547
ISBN-10: 185554654X
Series: BBL Custom Course
Audience: General
Format: Hardcover
Language: English
Number Of Pages: 392
Published: 3rd June 1996
Country of Publication: GB
Dimensions (cm): 23.89 x 16.05  x 3.4
Weight (kg): 0.78
Edition Number: 1

Earn 283 Qantas Points
on this Book