系统软件构造与验证技术专题前言  

SPECIAL TOPIC ON CONSTRUCTION AND VERIFICATION TECHNOLOGY OF SYSTEM SOFTWARE Preface

作　　者：赵永望[1] 刘杨 王戟[3,4] ZHAO Yong-Wang;LIU Yang;WANG Ji

机构地区：[1]北京航天航空大学计算机学院,北京100191 [2]School of Computer Science and Engineering,Nanyang Technological University,Singapore 639798,Singapore [3]国防科技大学计算机学院,湖南长沙410073 [4]高性能计算国家重点实验室(国防科技大学),湖南长沙410073

出　　处：《软件学报》2020年第5期1241-1242,共2页Journal of Software

摘　　要：系统软件是计算机系统的核心基础软件,涵盖基础系统软件,如操作系统、语言及编译器、中间件、数据库等;领域系统软件,如无人系统、工业控制、航空航天飞行器等的核心控制软件;人工智能系统软件和区块链关键基础软件等新型软件.系统软件的安全可靠性关系到整个系统,如何构造并验证高质量的系统软件仍然是学术界和工业界面临的重大问题.尤其是系统软件构造与验证过程中,提高系统软件开发效率、提升系统软件质量、增强系统软件安全可靠性相关的理论与方法、技术与工具、应用与案例等,对于我国从事系统软件的研发人员,具有重要的参考价值.

关 键 词：软件开发效率 计算机系统 新型软件 系统软件 人工智能 区块链 中间件 操作系统 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]