MARC状态：已编 文献类型：中文图书 浏览次数：17
- 题名/责任者:
- 软件可信性度量评估与增强规范/陈仪香，陶红伟著
- 出版发行项:
- 北京:科学出版社,2019
- ISBN及定价:
- 978-7-03-062564-9/CNY89.00
- 载体形态项:
- 176页;24cm
- 个人责任者:
- 陈仪香 著
- 个人责任者:
- 陶红伟 著
- 学科主题:
- 软件开发-评估
- 中图法分类号:
- TP311.52
- 一般附注:
- 国家科学技术学术著作出版基金
- 责任者附注:
- 华东师范大学，陈仪香，《形式语义的稳定论域理论》，国家自然科学基金研究专著
- 提要文摘附注:
- 本书共分为7章，包括：软件可信性概论、软件可信性层次化模型、基于属性的软件可信性度量模型、面向源代码的软件可信性度量模型与规范、软件可信性量化分级评估方法、软件可信性增强方法、基于出厂报告的软件可信性度量评估与增强规范。
- 使用对象附注:
- 本书适用于高等院校计算机科学与技术、软件工程等专业的研究生和高年级本科生及从事相关领域的科研人员和工程技术人员
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| TP311.52/89 | 1696524 |  自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 | |
| TP311.52/89 | 1696525 | 自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 | |
| TP311.52/89 | 1696526 | 自然科学书库-四楼西北
|
可借 | 自然科学书库-四楼西北 |
显示全部馆藏信息