零缺陷程序設計 pdf epub mobi txt 電子書 下載2025
Allan M.Stavely，二十幾年來，一直任教於新墨西哥科技大學計算機科學係。他曾作為訪問學者訪問過IBM加州聖何塞研究中心、惠普英國布裏斯托爾研究所，以及IBM英國溫徹斯特研究中心。他的教學與研究領域主要包括軟件工程、形式化方法和對編程的總體改進方法。
- 軟件工程
- 編程
- 優化
- IT
- 零缺陷
- 計算機科學
- 計算機技術
- 計算機
本書描述瞭編寫無（或幾乎無）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.quotespace.org All Rights Reserved. 小美書屋 版权所有