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