期刊文献+

探究软件工程及其在航空航天软件系统中的应用 被引量:1

下载PDF
导出
摘要 社会科学文明技术的进步,主要是软件科学技术的带动,解决了人力资源的过多浪费,软件工程技术的核心是围绕并帮助高精尖的科学技术进一步的开发,所以软件工程在航空航天软件系统中的运用,是为我国的航天事业增添了助力,使航天事业的发展不断扩大规模,形成更加科学化和技术化的发展局面。与世界接轨并向世界证明我国的科学技术的发展能力,就是发展航天事业的软件工程。
出处 《通讯世界》 2014年第2期13-14,共2页 Telecom World
  • 相关文献

参考文献3

二级参考文献5

  • 1G.J. Holzmann.SPIN Model Checker, The: Primer and Reference Manual[]..2004
  • 2Cadar C,Dunbar D,Engler D.KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs[]..2008
  • 3.Famous Software Disasters[]..2010
  • 4Lewis,R.O.Independent verification and validation:a life cycle engineering process for quality software[]..1992
  • 5陈绍宇,赵建军.RTCA DO-178B标准与相关国军标的对照分析[J].航空电子技术,2009,40(1):48-52. 被引量:8

共引文献1

同被引文献6

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部