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

软件学报 2018年第01期杂志 文档列表

软件学报杂志理论计算机科学

精准执行可达性分析：理论与应用第1-22页

关键词: 程序分析；  可达性分析；  定向测试；  双向符号分析；  程序归纳；  

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

基于模型的自适应方法综述第23-41页

关键词: 自适应软件；  模型驱动的软件工程；  基于模型的自适应；  

软件与网络安全研究综述第42-68页

关键词: 软件；  网络安全；  恶意软件；  软件漏洞；  软件安全机制；  

众包软件测试技术研究进展第69-88页

关键词: 软件工程；  软件测试；  众包；  众包测试；  众包平台；  

软件学报杂志模式识别与人工智能

多分类孪生支持向量机研究进展第89-108页

关键词: 多分类；  孪生支持向量机；  多生支持向量机；  支持向量机；  

可扩展机器学习的并行与分布式优化算法综述第109-130页

关键词: 机器学习；  优化算法；  并行算法；  分布式算法；  

软件学报杂志数据库技术

分布式数据库中一致性与可用性的关系第131-149页

关键词: 分布式系统；  数据库；  一致性；  可用性；  事务处理；  

区块链与可信数据管理：问题与方法第150-159页

关键词: 区块链；  可信数据管理；  智能合约；  数据溯源；  分布式共识；  

软件学报杂志计算机网络与信息安全

软件定义网络控制平面可扩展性研究进展第160-175页

关键词: 软件定义网络；  控制平面；  可扩展性；  数据平面；  openflow；  

互联网自治域间IP源地址验证技术综述第176-195页

关键词: 自治域间；  ip源地址验证；  网络安全；  分布式拒绝服务攻击；  

物联网环境下数据转发模型研究第196-224页

关键词: 物联网；  数据转发；  无线传感网；  移动机会网络；  命名数据网络；  移动边缘计算；  

软件学报杂志默认

《软件学报》投稿指南第-F0003页

关键词: 计算机软件；  学报；  投稿指南；  学术期刊；  计算机科学；  研究成果；  软件技术；  交流平台；