| 系统软件构造与验证技术专题前言 |
| |
| 引用本文： | 赵永望,刘杨,王戟. 系统软件构造与验证技术专题前言[J]. 软件学报, 2020, 31(5): 1241-1242 |
| |
| 作者姓名： | 赵永望 刘杨 王戟 |
| |
| 作者单位： | 北京航天航空大学 计算机学院, 北京 100191;School of Computer Science and Engineering, Nanyang Technological University, Singapore 639798, Singapore;国防科技大学 计算机学院, 湖南 长沙 410073;高性能计算国家重点实验室(国防科技大学), 湖南 长沙 410073 |
| |
| 摘 要： | <正>系统软件是计算机系统的核心基础软件,涵盖基础系统软件,如操作系统、语言及编译器、中间件、数据库等;领域系统软件,如无人系统、工业控制、航空航天飞行器等的核心控制软件;人工智能系统软件和区块链关键基础软件等新型软件.系统软件的安全可靠性关系到整个系统,如何构造并验证高质量的系统软件仍然是学术界和工业界面临的重大问题.尤其是系统软件构造与验证过程中,提高系统软件开发效率、提升系统软件质量、增强系统软件安全可靠性相关的理论与方法、技术与工具、应用与案例等,对于我国从事系统软件的研发人员,具有重要的参考价值.
|
| 关 键 词： | 软件开发效率 计算机系统 新型软件 系统软件 人工智能 区块链 中间件 操作系统 |
| 收稿时间： | 2020-03-27 |
SPECIAL TOPIC ON CONSTRUCTION AND VERIFICATION TECHNOLOGY OF SYSTEM SOFTWARE Preface |
| |
| ZHAO Yong-Wang,LIU Yang,WANG Ji. SPECIAL TOPIC ON CONSTRUCTION AND VERIFICATION TECHNOLOGY OF SYSTEM SOFTWARE Preface[J]. Journal of Software, 2020, 31(5): 1241-1242 |
| |
| Authors: | ZHAO Yong-Wang LIU Yang WANG Ji |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
