运载火箭软件检测的回顾与展望
出处
《军民两用技术与产品》
2003年第10期22-23,共2页
Dual Use Technologies & Products
-
1刘正高,万波.软件Ⅳ&Ⅴ的发展与应用[J].质量与可靠性,2000(1):28-30.
-
2苏娟,张利娜,康冰,李仁洙,卫瑞,赵慧莉,宫佳鹏.基于GJB 5000A的军用型号软件需求管理研究[J].中国管理信息化,2015,18(18):167-168. 被引量：1
-
3刘苓,陈俊生.探究模型开发在型号软件研制中的应用[J].信息与电脑,2016,28(2):79-80.
-
4石柱.航天型号软件工程化十年回顾与展望[J].航天控制,2006,24(4):66-72. 被引量：10
-
5彭刚锋.国外机载设备ATS测试软件确认方法浅析[J].航空计算技术,2010,40(2):88-90. 被引量：2
-
6石柱.型号软件可靠性和安全性设计标准化研究[J].航天标准化,1997,0(1):41-44. 被引量：3
-
7南风.电脑2000年问题日益迫近[J].科技信息,1998,0(7):11-10.
-
8王修益,李旭东.提高型号软件可靠性的措施[J].黑龙江科技信息,2012(19):104-104.
-
9魏薇.测试软件的确认[J].舰船标准化工程师,2004(2):44-45.
-
10黎升洪,缪淮扣.时态逻辑描述能力比较研究[J].计算机工程与应用,2006,42(22):75-77. 被引量：1
;
