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

按年份下载排行

Search by
文章编号标题作者年卷期:起始页码-结束页码下载次数复制
5651 程序分析研究进展 张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦 2019,30(1):80-109 1742
5644 大数据管理系统的历史、现状与未来 杜小勇,卢卫,张峰 2019,30(1):127-141 1692
5650 软件开发方法发展回顾与展望 马晓星,刘譞哲,谢冰,余萍,张天,卜磊,李宣东 2019,30(1):3-21 1475
5652 形式化方法概貌 王戟,詹乃军,冯新宇,刘志明 2019,30(1):33-61 1470
5568 一种面向人脸活体检测的对抗样本生成算法 马玉琨,毋立芳,简萌,刘方昊,杨洲 2019,30(2):469-480 1226
5646 新型数据管理系统研究进展与趋势 崔斌,高军,童咏昕,许建秋,张东祥,邹磊 2019,30(1):164-193 1184
5649 数据模型及其发展历程 信俊昌,王国仁,李国徽,高云君,张志强 2019,30(1):142-163 1056
5643 程序理解:现状与未来 金芝,刘芳,李戈 2019,30(1):110-126 1030
5645 软件过程与管理方法综述 荣国平,张贺,邵栋,王青 2019,30(1):62-79 1018
5425 一种基于多元时间序列的Web Service QoS预测方法 张鹏程,王丽艳,吉顺慧,李雯睿 2019,30(6):0-0 1017
5581 面向Android应用隐私泄露检测的多源污点分析技术 王蕾,周卿,何冬杰,李炼,冯晓兵 2019,30(2):211-230 902
5585 基于可重随机化混淆电路的可验证计算 赵青松,曾庆凯,刘西蒙,徐焕良 2019,30(2):399-415 901
5312 多核环境下基于图模型的实时规则调度方法 王娟娟,乔颖,熊金泉,王宏安 2019,30(2):481-494 824
5565 方法级别的细粒度软件缺陷定位方法 张文,李自强,杜宇航,杨叶 2019,30(2):195-210 771
5648 系统软件新洞察 王怀民,毛晓光,丁博,沈洁,罗磊,任怡 2019,30(1):22-32 755
5584 用于验证多智能体系统的APTL模型检测器 王海洋,段振华,田聪 2019,30(2):231-243 645
5659 基于深度学习的图像语义分割方法综述 田萱,王亮,丁琪 2019,30(2):440-468 605
5689 基于强化学习的金融交易系统研究与发展 梁天新,杨小平,王良,韩镇远 2019,30(3):845-864 525
5423 一个支持错误定位的批处理数据拥有性证明方案 庞晓琼,王田琪,陈文俊,任孟琦 2019,30(2):362-380 507
5572 针对层次化名字路由的聚合机制 许志伟,陈波,张玉军 2019,30(2):381-398 494
 

京公网安备 11040202500064号

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