检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]国防科技大学计算机学院,湖南长沙410073
出 处:《电子学报》2003年第z1期1933-1938,共6页Acta Electronica Sinica
基 金:国家自然科学基金项目 (No.90 1 0 4 0 0 7;No .60 2 330 2 0;No .60 30 30 1 3);国家 863项目 (No.2 0 0 1AA1 1 32 0 2 );霍英东青年教师基金 (No .71 0 64)
摘 要:随着软件在信息社会中发挥日益重要的作用 ,人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高 .本文讨论了高可信软件工程技术的现状和面临的主要挑战 。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.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.200