高可信软件工程技术  

作　　者：齐彦杰[1] 

机构地区：[1]中国电信股份有限公司河南分公司,河南郑州450000

出　　处：《魅力中国》2013年第10期99-99,共1页

摘　　要：现阶段，随着软件在我国信息社会中发挥的作用越来越重要，软件的使用者对软件保密安全性、软件可靠性以及可靠安全性等有关可信性质的要求越来越高。文章研究分析高可信软件工程技术面临的主要挑战以及现状，提出了基于彤式化方式中的高可信软件技术其突破点与发展趋势。

关 键 词：高可信软件工程 软件保证 分析研究 

分 类 号：F407.676.1[经济管理—产业经济]