高可信软件工程技术

陈火旺; 王戟; 董威

您当前的位置：

首页 >

文章列表页 >

高可信软件工程技术

综合评述 | 更新时间：2025-07-16

- 高可信软件工程技术
- High Confidence Software Engineering Technologies
- 电子学报 2003年31卷第S1期页码：1933-1938
- 作者机构：
  
  国防科技大学计算机学院,湖南,长沙,410073
- 作者简介：
- 基金信息：
  
  国家自然科学基金项目 (No.90104007,No.60233020,No.60303013);国家863项目 (No.2001AA113202);霍英东青年教师基金 (No.71064)
- DOI：
  中图分类号： TP311
- 网络出版：2003-12-25，
  
  纸质出版：2003
- 稿件说明：
移动端阅览
陈火旺, 王戟, 董威. 高可信软件工程技术[J]. 电子学报, 2003,31(S1):1933-1938.

CHEN Huo-wang, WANG Ji, Dong Wei. High Confidence Software Engineering Technologies[J]. Acta Electronica Sinica, 2003, 31(S1): 1933-1938.
陈火旺, 王戟, 董威. 高可信软件工程技术[J]. 电子学报, 2003,31(S1):1933-1938. DOI：

CHEN Huo-wang, WANG Ji, Dong Wei. High Confidence Software Engineering Technologies[J]. Acta Electronica Sinica, 2003, 31(S1): 1933-1938. DOI：

摘要

随着软件在信息社会中发挥日益重要的作用

人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战

给出了基于形式化方法的高可信软件技术的发展趋势和突破点.

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

references

浏览量

6221

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

一种基于社交关系模型的系统安全分析方法

Web软件的生长式开发过程模型及其支撑工具

基于构件的软件配置管理技术研究

基于存储库数据挖掘的开源软件成功度量方法

软件复用与软件构件技术