|
题名:
|
软件可信性度量评估与增强规范 / 陈仪香, 陶红伟著 , |
|
ISBN:
|
978-7-03-062564-9 价格： CNY89.00 |
|
语种:
|
chi |
|
载体形态:
|
176页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2019 |
|
内容提要:
|
本书系统地总结课题组在研发国家重大研究任务所完成科研成果, 介绍软件可信度量及其验证的研究背景和发展现状基础上, 重点介绍软件可信属性量化关系模型、软件可信度量模型的公理化方法与度量结构方法、航天嵌入式软件可信度量与评估体系与可信性增强规范以及基于属性与过程的软件可信度量与评估。 |
|
主题词:
|
软件开发 评估 |
|
中图分类法:
|
TP311.52 版次： 5 |
|
主要责任者:
|
陈仪香 著 |
|
主要责任者:
|
陶红伟 著 |
|
附注:
|
国家科学技术学术著作出版基金 |
|
责任者附注:
|
陈仪香, 四川大学博士, 华东师范大学软件工程学院教授。陶红伟, 华东师范大学博士, 郑州轻工业大学副教授。 |
|
索书号:
|
3 |