软件
  1. 首页
  2. 软件

列表

Applied C++中文版——构建更佳软件的实用技术

Applied C++中文版——构建更佳软件的实用技术

《Applied C++中文版——构建更佳软件的实用技术》,作者:(美)Philip Romanik，(美)Amy Muntz编著；红然译 出版社:科学出版社 ISBN:9787030328007。本书共8章，内容包括：一个测试应用、设计技术、设计构思、系统构思、实现构思、测试与性能、高级主题等，附录内容了有用的在线资源及原光盘信息。
壹号书单 2012年01月01日
可信软件与开发方法

可信软件与开发方法

《可信软件与开发方法》,作者:崔梦天,赵翠新,王玉红 出版社:科学出版社 ISBN:9787030493002。本书以可信软件开发为主线，从软件实际开发过程出发，对可信软件开发的技术、方法和过程进行分析和研究，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法。其中包括从UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约、精化直到代码生产阶段的模型形式化验证及自动
壹号书单 2016年06月01日
软件的可靠性与安全性

软件的可靠性与安全性

《软件的可靠性与安全性》,作者:黄锡滋 出版社:科学出版社 ISBN:7030034805。内容涉及国内外软件可靠性的基本理论、设计、可靠性的测试、软件的可靠性分配等。
壹号书单 1993年10月01日