High Confidence Software Engineering Technologies

CHEN Huo-wang; WANG Ji; Dong Wei

您当前的位置：

首页 >

文章列表页 >

High Confidence Software Engineering Technologies

更新时间：2025-07-16

- High Confidence Software Engineering Technologies
- Acta Electronica Sinica Vol. 31, Issue S1, Pages: 1933-1938(2003)
- 作者机构：
  
  国防科技大学计算机学院,湖南,长沙,410073
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP311
- Published Online：25 December 2003，
  
  Published：2003
- 稿件说明：
移动端阅览
CHEN Huo-wang, WANG Ji, Dong Wei. High Confidence Software Engineering Technologies[J]. Acta Electronica Sinica, 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

Views

6221

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Security Design Based on Social Modeling

A Growth Process Model and Its Supporting Tools for Developing Web-Based Software

Study of Component-Based Software Configuration Management Technologies

Open Source Software Success Measurement Method Based on Mining Software Repository

Software Reuse and Software Component Technology

Related Author

YU Eric

LIU Lin

XIANG Jian

ZHU Hong

YANG Fu-qing

SHAO Wei-zhong

MEI Hong

XIE Bing

Related Institution

School of Software, Tsinghua University

Faulty of Information Studies, Toronto University

School of Software Tsinghua University Beijing China

Faulty of Information Studies Toronto University Toronto Canada

School of Computer, National University of Defence Technology

⁰