梅 宏,金 芝,郝 丹

1(北京理工大学 计算机学院,北京 100081)

2(高可信软件技术教育部重点实验室(北京大学),北京 100871)

3(北京大学 信息科学技术学院 软件所,北京 100871)

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

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

论文“软件开发方法发展回顾与展望”,简要地从基于结构化程序设计和模块化开发的基本方法到服务化的方法,回顾了软件开发方法发展历程中的重要里程碑.针对人机……