Zero-defect programming

Author: Steve Lee
Publisher:
Publish Date: 2003-11-01
Features: Explains how to use the cleanroom method to develop high-quality software, encourages program verification in groups, and highlights the importance of incremental development! This book describes a new method for writing bug-free (or nearly bug-free) code. These methods also improve productivity and shorten development time. The book primarily focuses on three areas: specifications, verification, and testing. The author's writing goal is to make it easier for developers to understand specifications and verification, and to write well-structured programs. This book is suitable for college students and software developers.