MARC状态：审校 文献类型：中文图书 浏览次数：30
- 题名/责任者:
- 可信软件设计:开发健壮软件的工具、技术和方法/(美)Bijay K. Jayaswal，(美)Peter C. Patton著 吴峻申，蒋乐天，黄诚译
- 出版发行项:
- 北京:机械工业出版社,2013
- ISBN及定价:
- 978-7-111-42819-0/CNY125.00
- 载体形态项:
- 16,511页:图;24cm
- 并列正题名:
- Design for trustworthy software:tools, techniques, and methodology of developing robust software
- 其它题名:
- 开发健壮软件的工具、技术和方法
- 丛编项:
- 软件工程技术丛书
- 个人责任者:
- (美) 贾亚斯沃 (Jayaswal, Bijay K.) 著
- 个人责任者:
- (美) 巴顿 (Patton, Peter C.) 著
- 个人次要责任者:
- 吴峻申 译
- 个人次要责任者:
- 蒋乐天 译
- 个人次要责任者:
- 黄诚 译
- 学科主题:
- 软件设计
- 中图法分类号:
- TP311.52
- 版本附注:
- 由Pearson Education(培生教育出版集团)授权出版
- 提要文摘附注:
- 本书介绍了当今一些软件开发实践，以及在开发可信软件时，这些实践的缺点和所受到的质疑，还介绍了为开发出可信软件所使用的软件框架，介绍了作者提议为开发可信软件所使用的工具和技巧，介绍在进行编码甚至是开始编码之前，如何在设计过程中尽早使用这些工具和技术等内容。
全部MARC细节信息>>
自然科学图书借阅室