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