目录
论文与报告
航天嵌入式软件数组越界缺陷特征研究陈睿;于婷婷;贾春鹏;李超;高栋栋;江云松;杨孟飞;1-9
基于知识图谱和自动机器学习的软件缺陷预测李鹏宇;江云松;高猛;滕俊元;10-16
一种嵌入式软件安全漏洞的代码加固方法董云卫;张涵博;李勇军;17-24
面向航天型号软件的混成建模语言研究胡指铭;黄丽桃;赵涌鑫;25-31
面向源代码可信证据的航天软件可信度量评估方法刘晗;陶红伟;陈仪香;32-41
基于神经网络融合模型的源代码注释自动生成周其林;王旭;刘旭东;42-48
面向安全属性的软件组件可信依赖关系度量模型邹萌;张敏;陈仪香;49-54
基于模型架构的航天器控制软件研制方式研究董晓刚;李经松;王殿佑;李川;陈朝晖;55-62
空间飞行器控制软件的动态自适应演化方法李青山;廉宗民;王璐;谢生龙;63-72
基于工厂模式的OSLC数据集成接口设计与实现赵辉;王开阳;江云松;高栋栋;李尚书;孟繁鑫;73-79
基于系统科学的复杂系统软件生命周期模型研究颜乐鸣;刘从越;陈申平;80-85
航天嵌入式软件静态分析技术陈立前;吴国福;姜加红;86-92
《空间控制技术与应用》征稿简则
93