主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2018年第12期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿

软件学科发展回顾特刊前言

梅  宏1,2,  金  芝2,3,  郝  丹2,3
1(北京理工大学 计算机学院,北京,100081)
2(北京大学 高可信软件技术教育部重点实验室(北京大学),北京,100871)
3(北京大学 信息科学技术学院软件所,北京,100871)
通讯作者: 金芝, E-mail: zhijin@sei.pku.edu.cn

中文引用格式: 梅宏,金芝,郝丹.软件学科发展回顾特刊前言.软件学报,2019,30(1):1-2. http://www.jos.org.cn/1000-9825/5653.htm

随着信息技术的飞速发展,软件系统无处不在,其应用形态呈现出泛在化、社会化、情境化、智能化等特征,软件正逐步成为人类社会不可或缺的基础设施.软件学科的发展是显而易见的,体现在系统规模越来越大,所解决的问题越来越复杂、交互对象越来越多样,人们寄予越来越高的可靠性要求.现在,人机物融合应用模式的不断深入,“泛在系统”和“软件定义”也成为呼之欲出的着力点.这孕育了软件学科的新的增长点,也给软件方法和技术带来了新的挑战.“以史为镜,可以知兴替”,为了更好地把握时机,迎接挑战,有必要重新审视软件学科中典型方法和技术的发展历程,从而启迪未来的发展方向.2019年是《软件学报》创刊30周年,以此特刊形式记录之.

本特刊选择软件理论和软件工程,以及系统软件等方向进行回顾.采取定向邀请征稿的方式,共有10篇稿件通过了形式审查.然后,特约编辑先后邀请了各领域专家参与审稿,每篇稿件至少邀请2位专家进行评审,每篇稿件都经过两轮审稿,最终有9篇稿件通过评审,入选本特刊.其中:

1.论文“软件开发方法发展回顾与展望”,简要回顾了软件开发方法发展历程中的重要里程碑,从基于结构化程序设计和模块化开发的基本方法到服务化的方法.针对人机物融合应用模式的新挑战,介绍了网构软件范型并展望其未来发展趋势.

2.论文“系统软件新洞察”,以系统软件的发展脉络为基石,分析了系统软件的本质特征、时代特点和未来发展趋势,从三个方面给出了对系统软件的洞察.
 
3.论文“形式化方法概貌”,简述了形式化方法的发展历程和基本方法体系,综述了形式化方法的理论、方法、工具和应用的现状,展望了其面临的发展机遇和未来趋势.

4.论文“软件过程与管理方法综述”,从软件组织与管理的核心概念切入,梳理了软件组织和管理方法的特征,并以软件的发展历史为主线,介绍了软件组织与管理方法的历史沿革及其背后的缘由.

5.论文“程序分析研究进展”,概述了基本程序分析技术及其研究进展,总结不同类型软件的分析方法,展望了程序分析的未来方向和挑战.

6.论文“程序理解:现状与未来”,从工程、学习和认识、方法和技术等三个维度定位了程序理解任务,通过文献分析展示其研究布局,并从认知过程、理解技术以及软件工程任务中的应用等三个方面,综合论述程序理解研究的发展脉络和研究进展.

7.论文“大数据管理系统的历史、现状与未来”,简述了数据管理技术的发展历史,从存储、数据模型、计算模式、查询引擎等方面对大数据管理系统的现状进行了分析,指出目前大数据管理系统应具有的模块化和松耦合特点,及其应具备的数据特征、系统特征和应用特征,并预测分析了未来大数据管理系统的特点.

8.论文“数据模型及其发展历程”,以数据模型的发展历程为线索,依次分析了结构化模型、半结构化模型、OLAP分析模型、大数据模型等典型数据模型,并对各个模型的典型数据库系统进行了性能分析.

9.论文“新型数据管理系统研究进展与趋势”,聚焦由大数据的“4V”特征带来的挑战,解刨和分析新型数据管理系统的设计思想和研究进展,包括分布式数据库、图数据库、流数据库、时空数据库和众包数据库等,并对这些新型数据管理系统的未来发展趋势进行了展望.

本特刊面向软件学科的研究人员和工程人员,内容涵盖系统软件、以及软件理论和工程等领域,反映了我国学者对于软件学科过去和未来的重要认识.感谢《软件学报》编委会、CCF软件工程专委会、CCF系统软件专委会对特刊工作的指导和帮助,感谢特刊全体评审专家及时、耐心、细致的评审工作,感谢踊跃投稿的所有作者.希望本特刊能够对软件学科的科研工作有所促进.


梅宏 (1963-),男,中国科学院院士,发展中国家科学院院士,欧洲科学院外籍院士,IEEE Fellow,北京理工大学副校长、教授、博士生导师,《中国科学信息科学》主编.主要研究领域为软件工程和系统软件.

金芝(1962-),女,教授,博士生导师, 国家杰出青年基金获得者,教育部重点实验室副主任.CCF会士和常务理事,CCF软件工程专委会主任.长期从事软件工程和基于知识的软件工程等方面的研究工作,先后承担973等多项国家级课题.

郝丹(1979-),女,博士,副教授,博士生导师,教育部长江学者奖励计划“青年学者”,主要研究领域为软件测试.

 

 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利