高可信软件工程技术

被引：137

作者：

陈火旺

王戟

董威

机构：

[1] 国防科技大学计算机学院

[2] 国防科技大学计算机学院湖南长沙

[3] 湖南长沙

来源：

电子学报 | 2003年 / S1期

关键词：

软件工程; 软件可信性; 软件保证;

D O I：

暂无

中图分类号：

TP311.5 [软件工程];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

收藏

页码：1933 / 1938

页数：6

相关论文

共 4 条

[1] 模型检测:理论、方法与应用 [J].

林惠民 ;

张文辉 .

电子学报, 2002, (S1) :1907-1912

[2] 浅论软件技术发展 [J].

杨芙清 ;

梅宏 ;

吕建 ;

金芝 .

电子学报, 2002, (S1) :1901-1906

[3]

The RAISE language, method and tools[J] . Mogens Nielsen,Klaus Havelund,Kim Ritter Wagner,Chris George.Formal Aspects of Computing . 1989 (1)

[4]

Timed automata .2 R Alur. 11th International Conference on Computer-Aided Verification . 1999