期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
探究软件工程及其在航空航天软件系统中的应用
被引量:
1
下载PDF
职称材料
导出
摘要
社会科学文明技术的进步,主要是软件科学技术的带动,解决了人力资源的过多浪费,软件工程技术的核心是围绕并帮助高精尖的科学技术进一步的开发,所以软件工程在航空航天软件系统中的运用,是为我国的航天事业增添了助力,使航天事业的发展不断扩大规模,形成更加科学化和技术化的发展局面。与世界接轨并向世界证明我国的科学技术的发展能力,就是发展航天事业的软件工程。
作者
程浩
吴瀛东
周泽亚
机构地区
上海航天控制技术研究所
出处
《通讯世界》
2014年第2期13-14,共2页
Telecom World
关键词
软件工程
航空航天
软件系统
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
5
参考文献
3
共引文献
1
同被引文献
6
引证文献
1
二级引证文献
1
参考文献
3
1
李静.基于灰色理论的可信软件规划质量屋模型研究[D].浙江大学.2011.
2
李仁见,董威,董龙明,吴学光.
面向载人航天软件安全性的标准、方法及工具综述[J]
.载人航天,2012,18(3):65-71.
被引量:2
3
北京航空航天大学软件学院[J]
.网友世界,2012(2):24-28.
被引量:1
二级参考文献
5
1
G.J. Holzmann.SPIN Model Checker, The: Primer and Reference Manual[]..2004
2
Cadar C,Dunbar D,Engler D.KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs[]..2008
3
.Famous Software Disasters[]..2010
4
Lewis,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
1
马颖,吕蓓婷.
航天嵌入式软件缺陷管理研究[J]
.中国新通信,2019,21(18):38-40.
被引量:3
同被引文献
6
1
曹琰,魏强,周岩.
程序分析课程的多元化教学方法探索[J]
.计算机教育,2016(11):92-95.
被引量:3
2
张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦.
程序分析研究进展[J]
.软件学报,2019,30(1):80-109.
被引量:45
3
李耀阳,刘佳雯.
军用软件质量与可靠性管理方法研究[J]
.电子测试,2020,31(10):80-81.
被引量:5
4
郝强.
基于复杂网络的大规模软件分析平台的设计与实现[J]
.软件工程,2020,23(11):50-52.
被引量:1
5
彭碧涛,王常吉,罗海蛟.
软件漏洞分析课程建设探讨[J]
.福建电脑,2021,37(2):58-60.
被引量:1
6
陈柏政,窦立君.
软件安全问题及防护策略研究[J]
.软件导刊,2021,20(6):219-224.
被引量:2
引证文献
1
1
陈振邦,陈立前,王戟.
智能化软件分析原理课程设计初探[J]
.软件导刊,2022,21(8):198-202.
被引量:1
二级引证文献
1
1
杨威.
基于大数据的软件智能化开发方法与环境[J]
.软件,2022,43(11):171-173.
1
李志.
网络病毒的防范技巧[J]
.网络安全技术与应用,2005(6):69-69.
2
李自然,鄢小清,桂先洲.
CORBA技术在LVMD软件系统中的应用[J]
.电脑开发与应用,2003,16(2):2-3.
3
冀四梅,张亮.
软件工程及其在航空航天软件系统中的应用[J]
.战术导弹技术,2006(2):80-84.
被引量:1
4
余本庆.
三维动画制作流程教学[J]
.浙江工艺美术,2006,32(2):43-45.
被引量:2
5
周新蕾,孙肖.
航天软件系统事故机理与模型研究[J]
.质量与可靠性,2014(4):1-5.
6
高星,廖明宏,吴翔虎,黄振远.
基于虚拟寄存器的控制流错误检测算法[J]
.宇航学报,2007,28(1):183-187.
被引量:4
7
冯振忠,贺巧云.
浅谈《机械制图》与《计算机绘图》课程的融合[J]
.科技致富向导,2013(9):25-25.
8
苏阳.
走进科学的彩图世界[J]
.中国科技奖励,2010(11):76-78.
通讯世界
2014年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部