| |
2019年第30卷第1期目录
本期目录 综述文章 | | | 软件开发方法发展回顾与展望 | | | 马晓星,刘譞哲,谢冰,余萍,张天,卜磊,李宣东 | | | 2019,30(1):3-21 [摘要(8183)] [PDF 349.32 K (9255)] | | | | | 系统软件新洞察 | | | 王怀民,毛晓光,丁博,沈洁,罗磊,任怡 | | | 2019,30(1):22-32 [摘要(5921)] [PDF 310.24 K (4896)] | | | | | 形式化方法概貌 | | | 王戟,詹乃军,冯新宇,刘志明 | | | 2019,30(1):33-61 [摘要(8682)] [PDF 551.32 K (10910)] | | | | | 软件过程与管理方法综述 | | | 荣国平,张贺,邵栋,王青 | | | 2019,30(1):62-79 [摘要(5950)] [PDF 673.02 K (7212)] | | | | | 程序分析研究进展 | | | 张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦 | | | 2019,30(1):80-109 [摘要(9719)] [PDF 547.59 K (12464)] | | | | | 程序理解:现状与未来 | | | 金芝,刘芳,李戈 | | | 2019,30(1):110-126 [摘要(5957)] [PDF 515.79 K (7118)] | | | | | 大数据管理系统的历史、现状与未来 | | | 杜小勇,卢卫,张峰 | | | 2019,30(1):127-141 [摘要(8965)] [PDF 313.62 K (9335)] | | | | | 数据模型及其发展历程 | | | 信俊昌,王国仁,李国徽,高云君,张志强 | | | 2019,30(1):142-163 [摘要(6565)] [PDF 465.74 K (9534)] | | | | | 新型数据管理系统研究进展与趋势 | | | 崔斌,高军,童咏昕,许建秋,张东祥,邹磊 | | | 2019,30(1):164-193 [摘要(6254)] [PDF 496.72 K (11457)] | | | |
|
