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...
提高程序健壮性
评分提高程序健壮性
评分提高程序健壮性
评分提高程序健壮性
评分提高程序健壮性
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有