零缺陷程序设计.pdf
本书描述了编写无(或几乎无)bug代码的最新方法。这些方法同时还提高了生产力,缩短了开发时间。 本书主要在三个领域内加以描述,分别是:规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证,写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。 本书描述了编写无错代码的最新方法、这些方法来源于IBM等机构净室软件工程方面的实际经验、在过去的十五年间, 这些方法在商业开发项目上应用得非常成功。出错概率要比行业平均水平低一个数量级。要特别指出的是,错误率的降低并非缘于成本的增长,相反。与它相伴而生的是生产力的提高和开发时间的全面缩减。 Stavely在本书中简
下载地址
用户评论
此书已经很难买到了，一般是二手，这个pdf很实用，推荐
好书不错，拓展知识面
还要评论，好书
挺好，有帮助！
非常感谢，很早就想学习这方面详细的资料了
好书，适合安全和质量苛求的软件开发
程序设计要做到零缺陷还是很有挑战性的。书不错。不过多角度的阐述更容易懂。
形式化的东西，刚开始使用时需要强迫自己适应一些规则。 不过，坚持下来，是有好处的
算法较复杂，实际项目难应用
下载了，还可以正常阅读，理论性比较强。