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

软件学报 2017年第04期杂志 文档列表

软件学报杂志程序设计语言与系统前沿专题

程序设计语言与系统前沿专题前言第745-746页

关键词: 程序设计语言；  计算机系统；  计算机领域；  专题；  移动计算；  软件定义；  安全理论；  机器人；  

获取访存依赖：并发程序动态分析基础技术综述第747-763页

关键词: 并发；  多处理器系统；  动态分析；  访存依赖；  

面向国产异构众核系统的Parallel C语言设计与实现第764-785页

关键词: 异构众核；  编程模型；  并行语言；  parallel；  c；  编译器；  消息传递；  

通过抽象程序证明复杂具体程序第786-803页

关键词: 程序证明；  一致性；  抽象程序；  精化；  分解；  

基于通信Petri网的异步通信程序验证模型第804-818页

关键词: 异步通信程序；  通信petri网；  可覆盖性；  程序验证；  

基于Z3的Coq自动证明策略的设计和实现第819-826页

关键词: 形式化验证；  定理证明工具；  约束求解器；  coq；  z3；  

C/C＋＋程序静态内存泄漏警报自动确认方法第827-844页

关键词: 内存泄漏；  静态分析；  警报；  混合执行测试；  确认；  分类；  

数据中心中DVFS对程序性能影响模型的设计第845-859页

关键词: dvfs；  数据中心；  能耗；  频率；  性能预测模型；  

污点分析技术的原理和实践应用第860-882页

关键词: 污点分析；  信息流分析；  软件安全；  静态分析与动态分析；  android；  web；  

拟态防御Web服务器设计与实现第883-897页

关键词: 拟态防御；  web服务器系统；  攻击链；  系统安全；  网络空间安全；  

软件学报杂志系统软件与软件工程

NuTL2PFG：νTL公式的可满足性检查第898-906页

关键词: 可满足性；  

一种随机化的软件模型生成方法第907-924页

关键词: 模型生成；  模型转换；  性能测试；  随机测试；  模型驱动工程；  

向量并行度指导的循环SIMD向量化方法第925-939页

关键词: simd扩展部件；  向量并行度；  循环展开；  

融合网络环境下快速可靠的服务组合容错方法第940-958页

关键词: 服务组合；  容错；  服务重试；  服务复制；  服务补偿；  

软件学报杂志数据库技术

轨迹大数据：数据处理关键技术研究综述第959-992页

关键词: 轨迹大数据；  轨迹数据挖掘；  隐私保护；  支撑技术；  量子计算；