作者	斯蒂夫里
出版社
出版时间	2003-11-01

特色：
阐述了如何使用净室方法开发高质量的软件，鼓励以小组为单位进行程序验证，阐释了增量开发的重要性！

本书描述了编写无（或几乎无）bug代码的*新方法。这些方法同时还提高了生产力，缩短了开发时间。本书主要要三个领域内加以描述，分别是：规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证，写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。