零缺陷程序设计认领

本书描述了编写无（或几乎无）bug代码的*方法。这些方法同时还提高了生产力，缩短了开发时间。本书主要要三个领域内加以描述，分别是：规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证，写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。 Allan M.Stavely，二十几年来，一直任教于新墨西哥科技大学计算机科学系。他曾作为访问学者访问过IBM加州圣何塞研究中心、惠普... 更多