期刊之家
首页
SCI期刊
核心目录
北核期刊
热门期刊
国内期刊
农业期刊
电子期刊
政法期刊
科技期刊
教育期刊
经济期刊
医学期刊
文学期刊
学术答疑
期刊知识
发表指导
职称新闻
SCI百科
SSCI知识问答
SCOPUS指南
EI发表指南
教材出版
学术著作
出版常识
论文翻译润色
国外出书
课题申报
指导服务
SCI指导
SSCI指导
EI指导
SCOPUS指导
AHCI指导
国际出书指导
国内出书指导
关于我们
《软件学报杂志》近10年内发表论文目录
当前位置:
期刊之家网
>
《软件学报杂志》
>
《软件学报杂志》范文目录
支持乱序执行的Raft协议
2021年第6期
个体交互行为的平滑干预模型
2021年第6期
以太坊中间语言的可执行语义
2021年第6期
基于污染变量关系图的Android应用污点分析工具
2021年第6期
基于锁增广分段图的多线程程序死锁检测
2021年第6期
面向AADL模型的存储资源约束可调度性分析
2021年第6期
基于分支标记的数据流模型的代码生成方法
2021年第6期
面向SPARC处理器架构的操作系统异常管理验证
2021年第6期
Petri网的反向展开及其在程序数据竞争检测的应用
2021年第6期
大粒度Pull Request描述自动生成
2021年第6期
C2P:基于Pi演算的协议C代码形式化抽象方法和工具
2021年第6期
形式化方法与应用专题前言
2021年第6期
区块链系统中身份管理技术研究综述
2021年第7期
面向代码相似性检测的相似哈希改进方法
2021年第7期
基于代码自然性的切片粒度缺陷预测方法
2021年第7期
基于变分自编码器的异构缺陷预测特征表示方法
2021年第7期
针对复杂用户评论的代码质量属性判断
2021年第7期
基于路径分析和信息熵的错误定位方法
2021年第7期
基于指针生成网络的代码注释自动生成模型
2021年第7期
代码注释自动生成方法综述
2021年第7期
基于偶然正确性概率的回归测试选择方法
2021年第7期
面向分布式图计算作业的容错技术研究综述
2021年第7期
自动驾驶智能系统测试研究综述
2021年第7期
高精度的大规模程序数据竞争检测方法
2021年第7期
操作系统内核并发错误检测研究进展
2021年第7期
2949 条记录 63/118 页
第一页
上一页
上5页
61
62
63
64
65
下5页
下一页
最后一页
获取完整文献 了解学术指导
填写需求
联系方式
立即免费获取
注:学术顾问会在1小时内联系您,请留意!