Cleanroom software engineering

Cleanroom originated with Harlan D. Mills, an IBM Fellow and a visionary in software engineering. Written by colleagues of Mills and some of the most experienced developers and practitioners of Cleanroom, Cleanroom Software Engineering provides a roadmap for software management, development, and testing as disciplined engineering practices. This book serves both as an introduction for those new to Cleanroom and as a reference guide for the growing practitioner community. Readers will discover a proven way to raise both quality and productivity in their software-intensive products, while reducing costs.

Highlights

• Explains basic Cleanroom theory
  
• Introduces the sequence-based specification method
  
• Elaborates the full management, development, and certification process in a Cleanroom Reference Model (CRM)
  
• Shows how the Cleanroom process dovetails with the SEI' Capability Maturity Model for Software (CMM)
  
• Includes a large case study to illustrate how Cleanroom methods scale up to large projects.
  

Table of contents :

Preface
Introduction
Part I: Cleanroom Software Engineering Fundamentals

Chapter 1: Cleanroom Overview
Chapter 2: Cleanroom Management by Incremental Development
Chapter 3: Cleanroom Software Specification
Chapter 4: Cleanroom Software Development
Chapter 5: Cleanroom Software Certification

Part II: The Cleanroom Software Engineering Reference Model

Chapter 6: The Cleanroom Reference Model
Chapter 7: Cleanroom Management Processes
Chapter 8: Cleanroom Specification Processes
Chapter 9: Cleanroom Development Processes
Chapter 10: Cleanroom Certification Processes
Chapter 11: Cleanroom and the Capability Maturity Model for Software

Part III: A Case Study in Cleanroom Software Engineering

Chapter 12: Satellite Control System Requirements
Chapter 13: Satellite Control System Black Box Specification
Chapter 14: Satellite Control System State Box Specification
Chapter 15: Satellite Control System Clear Box Design
Chapter 16: Satellite Control System Testing and Certification

Index