本书描述了编写无(或几乎无)bug代码的最新方法。这些方法同时还提高了生产力,缩短了开发时间。 本书主要在三个领域内加以描述,分别是:规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证,写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。 本书描述了编写无错代码的最新方法、这些方法来源于IBM等机构净室软件工程方面的实际经验、在过去的十五年间, 这些方法在商业开发项目上应用得非常成功。出错概率要比行业平均水平低一个数量级。要特别指出的是,错误率的降低并非缘于成本的增长,相反。与它相伴而生的是生产力的提高和开发时间的全面缩减。 Stavely在本书中简