论高可信软件工程技术  

作　　者：张文瑞[1] 

机构地区：[1]南阳理工学院软件学院,河南省南阳市473000

出　　处：《电子技术与软件工程》2017年第13期59-59,共1页ELECTRONIC TECHNOLOGY & SOFTWARE ENGINEERING

摘　　要：随着社会不断的发展和进步,整个软件发展在信息系统中处于一个中心地位,越来越多的人把重点关注在如何在一个更加安全和稳定的环境中去操作,从而让整个系统变得可靠。高端的软件不仅能够为人们的日常生活带来便利,还能够让整体软件的质量变好,也能够让整个软件的效率变得更高。本文以软件系统为基础进行透彻的研究。

关 键 词：高可信软件 工程技术 软件应用 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]