2019年第30卷第1期目录
软件学科发展回顾特刊前言梅宏,金芝,郝丹2019,30(1):1-2 [摘要(3345)] [PDF(4184)131.60 K][HTML(1094)]
软件开发方法发展回顾与展望马晓星,刘譞哲,谢冰,余萍,张天,卜磊,李宣东2019,30(1):3-21 [摘要(8564)] [PDF(12617)349.32 K][HTML(5426)]系统软件新洞察王怀民,毛晓光,丁博,沈洁,罗磊,任怡2019,30(1):22-32 [摘要(22892)] [PDF(6925)310.24 K][HTML(4471)]形式化方法概貌王戟,詹乃军,冯新宇,刘志明2019,30(1):33-61 [摘要(9691)] [PDF(14401)551.32 K][HTML(8043)]软件过程与管理方法综述荣国平,张贺,邵栋,王青2019,30(1):62-79 [摘要(6342)] [PDF(10658)673.02 K][HTML(5883)]程序分析研究进展张健,张超,玄跻峰,熊英飞,王千祥,梁彬,李炼,窦文生,陈振邦,陈立前,蔡彦2019,30(1):80-109 [摘要(10689)] [PDF(22801)547.59 K][HTML(5643)]程序理解:现状与未来金芝,刘芳,李戈2019,30(1):110-126 [摘要(6274)] [PDF(9600)515.79 K][HTML(4860)]大数据管理系统的历史、现状与未来杜小勇,卢卫,张峰2019,30(1):127-141 [摘要(9613)] [PDF(12228)313.62 K][HTML(5248)]数据模型及其发展历程信俊昌,王国仁,李国徽,高云君,张志强2019,30(1):142-163 [摘要(7081)] [PDF(13967)465.74 K][HTML(5830)]新型数据管理系统研究进展与趋势崔斌,高军,童咏昕,许建秋,张东祥,邹磊2019,30(1):164-193 [摘要(6840)] [PDF(22531)496.72 K][HTML(5535)]
