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