Volume 30,Issue 1,2019 Table of Contents

Other Issues:  
  
Contents

  • 软件学科发展回顾特刊前言
  • 梅宏,金芝,郝丹
  • 2019,30(1):1-2 [Abstract(151)]  [View PDF(119)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(1088)]  [View PDF(915)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(648)]  [View PDF(468)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(1024)]  [View PDF(749)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(1034)]  [View PDF(709)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(1850)]  [View PDF(1142)547.59 K]
  • Program Comprehension: Present and Future
  • JIN Zhi, LIU Fang and LI Ge
  • 2019,30(1):110-126 [Abstract(914)]  [View PDF(691)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(1887)]  [View PDF(1141)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(953)]  [View PDF(677)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(1014)]  [View PDF(625)496.72 K]