| 高可信软件工程技术 |
| |
| 引用本文： | 陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(Z1):1933-1938. |
| |
| 作者姓名： | 陈火旺 王戟 董威 |
| |
| 作者单位： | 国防科技大学计算机学院,湖南,长沙,410073 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，教育部霍英东教育基金会高等院校青年教师基金，90104007,60233020,60303013，2001AA113202，71064，，， |
| |
| 摘 要： | 随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.
|
| 关 键 词： | 软件工程 软件可信性 软件保证 |
| 文章编号： | 0372-2112(2003)12A-1933-06 |
| 修稿时间： | 2003年9月30日 |
| 作者简介： | 陈火旺 男,1936年生于福建安溪,中国工程院院士,教授,博士生导师,主要从事软件工程、系统软件和人工智能基础等方面的研究 王戟 男,1969年生于上海,教授,博士生导师,主要从事高可信软件技术、软件工程、语义Web等方面的研究 董威 男,1976年生于陕西咸阳,讲师,博士,主要从事高可信软件技术、软件工程等方面的研究. |
| |
High Confidence Software Engineering Technologies |
| |
| CHEN Huo-wang,WANG Ji,Dong Wei.High Confidence Software Engineering Technologies[J].Acta Electronica Sinica,2003,31(Z1):1933-1938. |
| |
| Authors: | CHEN Huo-wang WANG Ji Dong Wei |
| |
| Affiliation: | School of Computer, National University of Defense Technology, Changsha, Hunan 410073, China |
| |
| Abstract: | As the software plays more and more important roles in today's information society,the software reliabitity,safety and security are strongly required.The state of art of its engineering technologies for this high confidence software and the challenges it faced are descirbed in this paper.Based on the formal methods,this confidence software developing trends and its key technical points are also discussed. |
| |
| Keywords: | software engineering high confidence software software assurance |
| 本文献已被 万方数据 等数据库收录！ |
|
|
|
下载PDF全文