高级检索+

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

期刊订阅

RSS