%0 Journal Article
%T 高可信软件工程技术
%A 陈火旺
%A 王戟
%A 董威
%J 电子学报
%P 1933-1938
%D 2003
%X 随着软件在信息社会中发挥日益重要的作用,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高.本文讨论了高可信软件工程技术的现状和面临的主要挑战,给出了基于形式化方法的高可信软件技术的发展趋势和突破点.
%K 软件工程
%K 软件可信性
%K 软件保证
%U http://www.ejournal.org.cn/CN/abstract/abstract7370.shtml