MARC状态：审校 文献类型：中文图书 浏览次数：166
- 题名/责任者:
- 可信软件设计:开发健壮软件的工具、技术和方法/(美) Bijay K.Jayaswal, Peter C.Patton著 吴峻申, 蒋乐天, 黄诚译
- 出版发行项:
- 北京:机械工业出版社,2013
- ISBN及定价:
- 978-7-111-42819-0/CNY125.00
- 载体形态项:
- xvi, 511页:图;24cm
- 统一题名:
- Design for trustworthy software : tools, techniques, and methodology of developing robust software
- 其它题名:
- 开发健壮软件的工具、技术和方法
- 丛编项:
- 软件工程技术丛书
- 个人责任者:
- 贾亚斯瓦 (Jayaswal, Bijay K.) 著
- 个人责任者:
- 巴顿 (Patton, Peter C.) 著
- 个人次要责任者:
- 吴峻申 译
- 个人次要责任者:
- 蒋乐天 译
- 个人次要责任者:
- 黄诚 译
- 学科主题:
- 软件设计
- 中图法分类号:
- TP311.5
- 出版发行附注:
- 由Pearson Education (培生教育出版集团)授权出版
- 责任者附注:
- 编目员自译责任者 (Jayaswal) 汉译姓: 贾亚斯瓦 ; 责任者 (Patton) 规范汉译姓: 巴顿
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书内容包括六部分：当今软件开发过程与不足之处，以及可信软件的挑战；可信软件设计的工具和技术；可信软件设计；综合运用：DFTS计划部署；6个研究案例。
全部MARC细节信息>>
理科综合阅览室