This book describes a proven process, created at IBM, to develop software with zero to near-zero defects. The process, Cleanroom Software Engineering, created in response to the need for more reliable and more cost-effective software, combines engineering-based technologies in project management, object-based system certification, correctness verification, and statistical quality certification. The Cleanroom process enables organizations to make substantial improvements in their software development performance, and to gain thereby competitive advantage in both reliability and productivity. The authors, drawing on their own extensive experience in industry, elaborate in detail the Cleanroom development and certification process, and show how this process dovetails with the SEI's CMM. The book includes case studies and summaries of key Cleanroom practices that have been applied in industry, and contains extensive examples for practical skill building.