高可信软件工程技术

• 作者: 王戟 董威 陈火旺
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 软件工程 软件可信性 软件保证
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 综合评述
• 页码范围: 1933-1938
• 页数: 6页
• 分类号: TP311
• 字数: 8534字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2003.z1.001

摘要

随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王戟	国防科技大学计算机学院	41	880	14.0	29.0
2	陈火旺	国防科技大学计算机学院	56	1155	18.0	33.0
3	董威	国防科技大学计算机学院	25	165	6.0	12.0