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

2020年第31卷第8期目录

   
浏览其它刊期:  
  

专刊文章

基本并行进程活性的限界模型检测
  谭锦豪,李国强
  2020,31(8):0 [摘要(646)]  [PDF 496.24 K (339)]
  
基于Coq的Paxos形式化建模与验证
  李亚男,邓玉欣,刘静
  2020,31(8):0 [摘要(776)]  [PDF 345.70 K (478)]
  
基于Coq的操作系统任务管理需求层建模及验证
  姜菁菁,乔磊,杨孟飞,杨桦,刘波
  2020,31(8):0 [摘要(601)]  [PDF 430.12 K (244)]
  
一种可重构包解析器硬件配置描述语言的设计及其编译结构
  李璜华,李凌,赵宇,殷树娟,王生原,李翔宇
  2020,31(8):0 [摘要(606)]  [PDF 1.27 M (763)]
  
高阶类型化模型驱动的可验证应用系统体系结构建模及案例
  李小平,乌尼日其其格,马世龙,吕江花
  2020,31(8):0 [摘要(607)]  [PDF 1.16 M (1403)]
  
PaxosStore中共识算法TPaxos的推导、规约与精化
  易星辰,魏恒峰,黄宇,乔磊,吕建
  2020,31(8):0 [摘要(645)]  [PDF 3.32 M (532)]
  

综述文章

机器学习赋能的软件系统自适应性
  张明悦,金芝,赵海燕,罗懿行
  2020,31(8):0 [摘要(1206)]  [PDF 1.17 M (689)]
  
维度语音情感识别研究进展
  李海峰,陈婧,马琳,薄洪健,徐聪,李洪伟
  2020,31(8):0 [摘要(535)]  [PDF 968.01 K (659)]
  
面向异构融合处理器的性能分析、优化及应用综述
  张峰,翟季冬,陈政,林甲灶,杜小勇
  2020,31(8):0 [摘要(1073)]  [PDF 499.03 K (430)]
  
基于信息检索的软件缺陷定位技术研究进展
  张芸,刘佳琨,夏鑫,吴明晖,颜晖
  2020,31(8):0 [摘要(688)]  [PDF 794.97 K (1040)]
  
基于意图的网络(IBN)研究综述
  李福亮,范广宇,王兴伟,刘树成,谢坤,孙琼
  2020,31(8):0 [摘要(589)]  [PDF 591.56 K (400)]
  
 

京公网安备 11040202500064号

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