期刊之家
首页
SCI期刊
核心目录
北核期刊
热门期刊
国内期刊
农业期刊
电子期刊
政法期刊
科技期刊
教育期刊
经济期刊
医学期刊
文学期刊
学术答疑
期刊知识
发表指导
职称新闻
SCI百科
SSCI知识问答
SCOPUS指南
EI发表指南
教材出版
学术著作
出版常识
论文翻译润色
国外出书
课题申报
指导服务
SCI指导
SSCI指导
EI指导
SCOPUS指导
AHCI指导
国际出书指导
国内出书指导
关于我们
《软件学报杂志》近10年内发表论文目录
当前位置:
期刊之家网
>
《软件学报杂志》
>
《软件学报杂志》范文目录
安全苛刻系统测试语言中的测试设备协同语句
2016年第3期
基于变量访问序模式的中断数据竞争检测方法
2016年第3期
城市交通网络信号控制系统的实时演算模型
2016年第3期
有界闭连通域上的非线性循环终止性分析
2016年第3期
几何代数的高阶逻辑形式化
2016年第3期
软件形式化方法与应用专题前言
2016年第3期
引入内可信基的应用程序保护方法
2016年第4期
面向云计算环境的能耗测量和管理方法
2016年第4期
基于共享内存的多核时代数据结构研究
2016年第4期
软件定义网络中北向接口语言综述
2016年第4期
软件定义网络:安全模型、机制及研究进展
2016年第4期
软件可信评估研究综述:标准、模型与工具
2016年第4期
面向CPU+GPU异构计算的多目标测试用例优先排序
2016年第4期
软件形式化开发关键部件选取的水波优化方法
2016年第4期
基于混合遗传模拟退火算法的SaaS构件优化放置
2016年第4期
面向产品线交互配置不一致性修复的差分IBEA算法
2016年第4期
一种基于遗传算法的多缺陷定位方法
2016年第4期
利用蚁群算法生成覆盖表:探索与挖掘
2016年第4期
基于分支覆盖的回归测试路径选择
2016年第4期
融入神经网络的路径覆盖测试数据进化生成
2016年第4期
基于关键点路径的快速测试用例自动生成方法
2016年第4期
基于节点概率的路径覆盖测试数据进化生成
2016年第4期
基于模式组合的粒子群优化测试用例生成方法
2016年第4期
自动程序修复方法研究进展
2016年第4期
基于搜索的软件工程研究专题前言
2016年第4期
2949 条记录 14/118 页
第一页
上一页
上5页
11
12
13
14
15
下5页
下一页
最后一页
获取完整文献 了解学术指导
填写需求
联系方式
立即免费获取
注:学术顾问会在1小时内联系您,请留意!