Contents

软件学科发展回顾特刊前言 梅宏,金芝,郝丹 2019,30(1):1-2 [Abstract(3289)]  [View PDF(3768)131.60 K]

Review Articles

Software Development Methods: Review and Outlook MA Xiao-Xing, LIU Xuan-Zhe, XIE Bing, YU Ping, ZHANG Tian, BU Lei and LI Xuan-Dong 2019,30(1):3-21 [Abstract(8423)]  [View PDF(11495)349.32 K]

New Insights into System Software WANG Huai-Min, MAO Xiao-Guang, DING Bo, SHEN Jie, LUO Lei and REN Yi 2019,30(1):22-32 [Abstract(6073)]  [View PDF(6129)310.24 K]

Overview of Formal Methods WANG Ji, ZHAN Nai-Jun, FENG Xin-Yu and LIU Zhi-Ming 2019,30(1):33-61 [Abstract(9206)]  [View PDF(13225)551.32 K]

Survey of Process and Management Approaches for Software Development RONG Guo-Ping, ZHANG He, SHAO Dong and WANG Qing 2019,30(1):62-79 [Abstract(6147)]  [View PDF(9528)673.02 K]

Recent Progress in Program Analysis ZHANG Jian, ZHANG Chao, XUAN Ji-Feng, XIONG Ying-Fei, WANG Qian-Xiang, LIANG Bin, LI Lian, DOU Wen-Sheng, CHEN Zhen-Bang, CHEN Li-Qian and CAI Yan 2019,30(1):80-109 [Abstract(10314)]  [View PDF(14944)547.59 K]

Program Comprehension: Present and Future JIN Zhi, LIU Fang and LI Ge 2019,30(1):110-126 [Abstract(6146)]  [View PDF(8759)515.79 K]

History, Present, and Future of Big Data Management Systems DU Xiao-Yong, LU Wei and ZHANG Feng 2019,30(1):127-141 [Abstract(9387)]  [View PDF(11410)313.62 K]

State of the Art Data Model and Its Research Progress XIN Jun-Chang, WANG Guo-Ren, LI Guo-Hui, GAO Yun-Jun and ZHANG Zhi-Qiang 2019,30(1):142-163 [Abstract(6832)]  [View PDF(11314)465.74 K]

Progress and Trend in Novel Data Management System CUI Bin, GAO Jun, TONG Yong-Xin, XU Jian-Qiu, ZHANG Dong-Xiang and ZOU Lei 2019,30(1):164-193 [Abstract(6575)]  [View PDF(13376)496.72 K]