软件校验和验证——工程实现和科学研究的方法

• 作者: 王欣刚
• 来源期刊: 国外科技新书评介
• 学科: 工学
• 关键词: 软件可信度 校验和 科学研究 工程实现 验证 软件安全性 提升系统 供应市场
• 年，卷（期）: 2008,（1）
• 页码范围: 14
• 页数: 1页
• 分类号: TP311.52

摘要

出版物供应市场上非常缺乏深入探讨应用于提升系统软件可信度技术的书籍，但在需求方面，不仅仅美国政府更多的把注意力投入到软件安全性上，连私人企业和科研院所也是同样给予了足够的重视。提高软件可信度的技术和方法通常被称为软件校验和验证，本书就是少有的能够满足用户对软件可信度需求的图书之一。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王欣刚	中国科学院自动化研究所	9	117	4.0	9.0