主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2020-2021年专刊出版计划 微信服务介绍 最新一期:2020年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2020年第31卷第8期目录

   
浏览其它刊期:  
  

本期目录

面向新兴系统的形式化建模与验证方法专题前言
  陈振邦,冯新宇,刘志明
  2020,31(8):2283-2284 [摘要(140)]  [PDF 297.73 K (153)]
  
代数次数的求解算法及其在SIMON-like算法中的应用
  任炯炯,李航,林键,陈少真
  2020,31(8):2453-2464 [摘要(96)]  [PDF 1.23 M (81)]
  
基于用户和产品表示的情感分析和评论质量检测联合模型
  吴璠,王中卿,周夏冰,周国栋
  2020,31(8):2492-2507 [摘要(143)]  [PDF 1.69 M (148)]
  
一种基于录制/重放的Android应用众包测试方法
  曹羽中,吴国全,陈伟,魏峻,黄涛,王溯
  2020,31(8):2508-2529 [摘要(1182)]  [PDF 2.51 M (1240)]
  
基于对称正定流形潜在稀疏表示分类算法
  陈凯旋,吴小俊
  2020,31(8):2530-2542 [摘要(89)]  [PDF 1.32 M (81)]
  
大规模路网图下关键词覆盖最优路径查询优化
  郝晋瑶,牛保宁,康家兴
  2020,31(8):2543-2556 [摘要(162)]  [PDF 1.50 M (127)]
  
基于双层协同的联盟区块链隐私数据保护方法
  蔡亮,端豪,鄢萌,夏鑫
  2020,31(8):2557-2573 [摘要(655)]  [PDF 2.01 M (668)]
  
面向医学图像分割的半监督条件生成对抗网络
  刘少鹏,洪佳明,梁杰鹏,贾西平,欧阳佳,印鉴
  2020,31(8):2588-2602 [摘要(168)]  [PDF 1.80 M (244)]
  

专刊文章

一种包解析器硬件配置描述语言及其编译结构
  李璜华,李凌,赵宇,王生原,李翔宇
  2020,31(8):2285-2308 [摘要(818)]  [PDF 2.72 M (902)]
  
高阶类型化可验证应用系统体系结构建模及案例
  李小平,乌尼日其其格,马世龙,吕江花
  2020,31(8):2309-2335 [摘要(772)]  [PDF 3.00 M (1569)]
  
PaxosStore中共识协议TPaxos的推导、规约与精化
  易星辰,魏恒峰,黄宇,乔磊,吕建
  2020,31(8):2336-2361 [摘要(829)]  [PDF 6.30 M (698)]
  
基于Coq的Paxos形式化建模与验证
  李亚男,邓玉欣,刘静
  2020,31(8):2362-2374 [摘要(950)]  [PDF 1.30 M (674)]
  
基于Coq的操作系统任务管理需求层建模及验证
  姜菁菁,乔磊,杨孟飞,杨桦,刘波
  2020,31(8):2375-2387 [摘要(789)]  [PDF 1.30 M (394)]
  
基本并行进程活性的限界模型检测
  谭锦豪,李国强
  2020,31(8):2388-2403 [摘要(845)]  [PDF 1.69 M (440)]
  

综述文章

机器学习赋能的软件自适应性综述
  张明悦,金芝,赵海燕,罗懿行
  2020,31(8):2404-2431 [摘要(1585)]  [PDF 3.31 M (995)]
  
基于信息检索的软件缺陷定位技术研究进展
  张芸,刘佳琨,夏鑫,吴明晖,颜晖
  2020,31(8):2432-2452 [摘要(1020)]  [PDF 2.42 M (1277)]
  
维度语音情感识别研究综述
  李海峰,陈婧,马琳,薄洪健,徐聪,李洪伟
  2020,31(8):2465-2491 [摘要(852)]  [PDF 3.36 M (854)]
  
基于意图的网络研究综述
  李福亮,范广宇,王兴伟,刘树成,谢坤,孙琼
  2020,31(8):2574-2587 [摘要(904)]  [PDF 1.68 M (899)]
  
面向异构融合处理器的性能分析、优化及应用综述
  张峰,翟季冬,陈政,林甲灶,杜小勇
  2020,31(8):2603-2624 [摘要(1381)]  [PDF 2.19 M (588)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利