安全性和正确性折中的软件系统开发方法

• 作者: 万春 刘维先 袁建红
• 来源期刊: 集美大学学报(自然科学版)
• 学科: 工学
• 关键词: 正确性 安全性 软件工程 bug
• 年，卷（期）: 2003,（1）
• 页码范围: 37-41
• 页数: 5页
• 分类号: TP302.8
• 字数: 4203字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7405.2003.01.008

摘要

主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略,来解决商业软件长期以来带有"bug"和安全性问题.对功能正确性和安全性的折中方案,亦有详细的分析,最后还提出将软件开发的折中技术融入软件工程以取得实际的效果.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	万春	集美大学现代教育技术中心	13	143	5.0	11.0
2	袁建红		2	2	1.0	1.0
3	刘维先		5	3	1.0	1.0