安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

软件可信性度量评估与增强规范/陈仪香, 陶红伟著

出版发行项:

北京:科学出版社,2019.11

ISBN及定价:

978-7-03-062564-9/CNY89.00

载体形态项:

176页:图;24cm

个人责任者:

陈仪香 著

个人责任者:

陶红伟 著

学科主题:

软件开发-评估

中图法分类号:

TP311.52

一般附注:

国家科学技术学术著作出版基金

书目附注:

有书目 (第162-173页) 和索引

提要文摘附注:

本书系统地总结课题组在研发国家重大研究任务所完成科研成果, 介绍软件可信度量及其验证的研究背景和发展现状基础上, 重点介绍软件可信属性量化关系模型、软件可信度量模型的公理化方法与度量结构方法、航天嵌入式软件可信度量与评估体系与可信性增强规范以及基于属性与过程的软件可信度量与评估。

使用对象附注:

高等院校计算机科学与技术、软件工程等专业研究生

豆瓣简介：