 |
|
|
|
 |
 |
 |
|
 |
|
 |
|
|
|
|
Search by
|
| 文章编号 | 标题 | 作者 | 年卷期:起始页码-结束页码 | 下载次数 | 复制 |
| 5651 |
程序分析研究进展
|
张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦
|
2019,30(1):80-109
| 1770 |
|
| 5644 |
大数据管理系统的历史、现状与未来
|
杜小勇,卢卫,张峰
|
2019,30(1):127-141
| 1710 |
|
| 5652 |
形式化方法概貌
|
王戟,詹乃军,冯新宇,刘志明
|
2019,30(1):33-61
| 1505 |
|
| 5650 |
软件开发方法发展回顾与展望
|
马晓星,刘譞哲,谢冰,余萍,张天,卜磊,李宣东
|
2019,30(1):3-21
| 1495 |
|
| 5646 |
新型数据管理系统研究进展与趋势
|
崔斌,高军,童咏昕,许建秋,张东祥,邹磊
|
2019,30(1):164-193
| 1194 |
|
| 5649 |
数据模型及其发展历程
|
信俊昌,王国仁,李国徽,高云君,张志强
|
2019,30(1):142-163
| 1075 |
|
| 5643 |
程序理解:现状与未来
|
金芝,刘芳,李戈
|
2019,30(1):110-126
| 1039 |
|
| 5645 |
软件过程与管理方法综述
|
荣国平,张贺,邵栋,王青
|
2019,30(1):62-79
| 1031 |
|
| 5648 |
系统软件新洞察
|
王怀民,毛晓光,丁博,沈洁,罗磊,任怡
|
2019,30(1):22-32
| 768 |
|
| 5653 |
软件学科发展回顾特刊前言
|
梅宏,金芝,郝丹
|
2019,30(1):1-2
| 298 |
|
|
|
|
 |
|
|
|
|
 |
|
 |
|
 |
|
