点此进入淘宝搜索页搜索　　參考價格: 点此进入淘宝搜索页搜索
　　分類: 图书,进口原版,Computers & Internet（计算机与网络）,
　　品牌: ~Glenford J. Myers

基本信息出版社:Wiley; 1 (1976年10月6日)丛书名:Business Data Processing: A Wiley Series精装:360页正文语种:英语ISBN:0471627658条形码:9780471627654商品尺寸:16 x 3.5 x 24 cm商品重量:680 gASIN:0471627658商品描述内容简介Deals constructively with recognized software problems. Focuses on the unreliability of computer programs and offers state-of-the-art solutions. Covers—software development, software testing, structured programming, composite design, language design, proofs of program correctness, and mathematical reliability models. Written in an informal style for anyone whose work is affected by the unreliability of software. Examples illustrate key ideas, over 180 references.目录CONCEPTS OF SOFTWARE RELIABILITY.Definition of Software, Reliability.Errors—Their Causes and Consequences.DESIGNING RELIABLE SOFTWARE.Basic Design Principles.Requirements, Objectives, and Specifications.System Architecture.Program Structure Design.Design Practices.Module Design and Coding.Programming Style.SOFTWARE TESTING.Testing Principles.Module Testing.Function and System Testing.Debugging.ADDITIONAL TOPICS IN SOFTWARE RELIABILITY.Management Techniques for Reliability.Programming Languages and Reliability.Computer Architecture and Reliability.Proving Program Correctness.Reliability Models.Software Support Systems.

 

 

免责声明：本文为网络用户发布，其观点仅代表作者个人观点，与本站无关，本站仅提供信息存储服务。文中陈述内容未经本站证实，其真实性、完整性、及时性本站不作任何保证或承诺，请读者仅作参考，并请自行核实相关内容。