+612 9045 4394
Hardcover
Published: 3rd June 1996
ISBN: 9781855546547
Number Of Pages: 392
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.
| Dedication | |
| List of Contributors | |
| An Overview of Cleanroom Software Engineering | p. 1 |
| Adopting Cleanroom Software Engineering with a Phased Approach | p. 5 |
| Cleanroom Management | p. 37 |
| Current Practice in Cleanroom Management | p. 39 |
| Cleanroom Software Engineering | p. 41 |
| Cleanroom: an Alternative Software Development Process | p. 55 |
| The Cleanroom Approach to Six Sigma: Combining Information | p. 71 |
| Planning and Certifying Software System Reliability | p. 83 |
| Cleanroom Process Model | p. 111 |
| Evolving Practice in Cleanroom Management | p. 133 |
| Cleanroom Development | p. 135 |
| Current Practice in Cleanroom Development | p. 137 |
| Box-structured Information Systems | p. 139 |
| Stepwise Refinement and Verification in Box-structured Systems | p. 169 |
| Correctness Verification: Alternative to Structural Software Testing | p. 199 |
| Reuse and Cleanroom | p. 215 |
| Six-sigma Software Using Cleanroom Software Engineering Techniques | p. 231 |
| Evolving Practice in Cleanroom Development | p. 259 |
| Cleanroom Certification | p. 263 |
| Current Practice in Cleanroom Certification | p. 265 |
| A Cleanroom Test Case Generation Tool | p. 269 |
| Markov Analysis of Software Specifications | p. 287 |
| A Markov Chain Model for Statistical Software Testing | p. 303 |
| Statistical Testing of Software Based on a Usage Model | p. 331 |
| Certification of Software Components | p. 345 |
| Experimental Control in Software Reliability Certification | p. 361 |
| Evolving Practice in Cleanroom Certification | p. 373 |
| Appendix A Training and Consultation | p. 375 |
| Appendix B Tools | p. 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
