MARC状态:审校 文献类型:中文图书 浏览次数:67
- 题名/责任者:
- 软件可信性度量评估与增强规范/陈仪香, 陶红伟著
- 出版发行项:
- 北京:科学出版社,2019
- ISBN及定价:
- 978-7-03-062564-9/CNY89.00
- 载体形态项:
- 176页:图;24cm
- 个人责任者:
- 陈仪香 著
- 个人责任者:
- 陶红伟 著
- 学科主题:
- 软件开发-评估
- 中图法分类号:
- TP311.52
- 一般附注:
- 国家科学技术学术著作出版基金
- 责任者附注:
- 陈仪香, 四川大学博士, 华东师范大学软件工程学院教授。陶红伟, 华东师范大学博士, 郑州轻工业大学副教授。
- 书目附注:
- 有书目 (第162-173页) 和索引
- 提要文摘附注:
- 本书系统地总结课题组在研发国家重大研究任务所完成科研成果, 介绍软件可信度量及其验证的研究背景和发展现状基础上, 重点介绍软件可信属性量化关系模型、软件可信度量模型的公理化方法与度量结构方法、航天嵌入式软件可信度量与评估体系与可信性增强规范以及基于属性与过程的软件可信度量与评估。
全部MARC细节信息>>