HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 期刊 软件学报杂志 软件学报杂志介绍(非官网)
软件学报杂志

软件学报杂志北大期刊CSCD期刊统计源期刊

主管单位:中国科学院  主办单位:中国科学院软件研究所;中国计算机学会

人气 14818

软件学报 2015年第10期杂志 文档列表

软件学报杂志系统软件与软件工程
多目标优化的测试用例优先级在线调整策略第2451-2464页
关键词: 测试用例优先级;  关注需求覆盖;  测试用例重要度;  测试用例失效率;  测试用例在线调整策略;  
故障检测率不规则变化的软件可靠性模型第2465-2484页
关键词: 软件可靠性增长模型;  非齐次泊松过程;  不规则变化;  故障检测率;  软件可靠性;  
中断驱动控制系统的有界模型检验技术第2485-2503页
关键词: 中断驱动系统;  有界模型检验;  超时检测;  
基于统计占优分析的变异测试第2504-2520页
关键词: 软件测试;  变异测试;  变异体约简;  占优关系;  统计占优分析;  
基于关键迹和ASP的CSP模型检测第2521-2544页
关键词: 模型检测;  通信顺序进程;  关键迹模型;  线性时态逻辑;  回答集程序设计;  
可信软件非功能需求形式化表示与可满足分析第2545-2566页
关键词: 可信软件;  早期需求工程;  非功能需求;  软件过程;  可满足性问题;  
软件学报杂志数据库技术
用户感知的重复数据删除算法第2581-2595页
关键词: 重复数据删除;  云计算;  虚拟桌面云;  数据局部性;  
基于信息元的模式匹配方法第2596-2613页
关键词: 模式匹配;  结构信息;  结构优化;  信息元匹配;  
面向数据流的多粒度时变分形维数计算第2614-2630页
关键词: 数据流;  分形维数;  小波变换;  多粒度;  时变性;  
双流模式下高吞吐量移动对象范围查询算法第2631-2643页
关键词: 大数据;  时空数据库;  移动对象;  范围查询;  主存;  
软件学报杂志计算机网络与信息安全
一种面向MSM型Clos交换结构的启发式并发调度算法第2644-2655页
关键词: clos网络;  调度算法;  交换结构;  轮询迭代;  
P盒为n-MDS矩阵的SPS模型差分概率的新上界第2656-2666页
关键词: 分组密码;  差分分析;  sps模型;  差分概率;  上界;  
一种温度自适应无线传感网络时间同步方法第2667-2683页
关键词: 时间同步;  频偏估计;  无线传感器网络;  环境自适应;  温度敏感度因子;  
近似理想格上的全同态加密方案第2696-2719页
关键词: 全同态加密;  近似理想格问题;  近似gcd;  整数分解;  稀疏子集和;  
软件学报杂志计算机图形学与计算机辅助设计
基于视点评分的三维模型摆正第2720-2732页
关键词: 摆正方向;  视点评分;  三维模型;