软件校验和验证——工程实现和科学研究的方法
Software Verification and Validation An Engineering and Scientific Approach
摘要
出版物供应市场上非常缺乏深入探讨应用于提升系统软件可信度技术的书籍,但在需求方面,不仅仅美国政府更多的把注意力投入到软件安全性上,连私人企业和科研院所也是同样给予了足够的重视。提高软件可信度的技术和方法通常被称为软件校验和验证,本书就是少有的能够满足用户对软件可信度需求的图书之一。
出处
《国外科技新书评介》
2008年第1期14-14,共1页
Scientific & Technology Book Review
-
1张万湘.软件可信度测量方法[J].抗恶劣环境计算机,1993,7(1):7-10.
-
2崔伟群.计量器具软件可信度及基于测评的计量器具软件可信度[J].中国计量,2011(11):74-75.
-
3数据泄露挑战公众对企业和政府的信任[J].信息安全与通信保密,2013,11(2):37-37. 被引量:1
-
4数据泄露挑战公众对企业和政府的信任[J].电信技术,2013(1):65-65.
-
5苏艳.针对计算机数据库的安全防范技术探析[J].电子技术与软件工程,2016(2):207-207.
-
6关于企业安全的五个建议[J].网络运维与管理,2016,0(2):6-6.
-
7李业丽,徐秀花,李丽娟.基于多维数据模型的数据仓库的构建[J].北京印刷学院学报,2006,14(3):15-17. 被引量:5
-
8穆婷.“特种视频”吧,靠“直接”赚大钱[J].新智慧(财富版),2010(11):40-41.
-
9亦言.西南升起的存储小巨人[J].信息系统工程,2003,16(5):49-50.
-
10李华焰.精益软件研发[J].软件世界,2008(12):17-18.