零缺陷程序设计 在线电子书 图书标签: 软件工程 编程 优化 IT 零缺陷 计算机科学 计算机技术 计算机
发表于2024-12-23
零缺陷程序设计 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
提高程序健壮性
评分提高程序健壮性
评分提高程序健壮性
评分提高程序健壮性
评分提高程序健壮性
Allan M.Stavely,二十几年来,一直任教于新墨西哥科技大学计算机科学系。他曾作为访问学者访问过IBM加州圣何塞研究中心、惠普英国布里斯托尔研究所,以及IBM英国温彻斯特研究中心。他的教学与研究领域主要包括软件工程、形式化方法和对编程的总体改进方法。
本书描述了编写无(或几乎无)bug代码的*方法。这些方法同时还提高了生产力,缩短了开发时间。本书主要要三个领域内加以描述,分别是:规定、验证和测试。作者的写作目的是使开发人员更易理解规定和验证,写出结构完好的程序。 本书适于高等院校学生和软件开发人员阅读。
exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 e...
评分exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 e...
评分exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 e...
评分exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 e...
评分exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 exit,goto不能用,switch无法验证, 不知道如何实用化 就像很多ut方法论一样,遇到复杂程序就不实用了 还要写伪代码的注释,看不出价值 e...
零缺陷程序设计 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024