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

著录项

• 来源
  《软件学报》 |2020年第5期|1241-1242|共2页
• 作者

  赵永望; 刘杨; 王戟;

  展开▼
• 作者单位

  北京航天航空大学计算机学院;

  北京100191;

  School of Computer Science and Engineering;

  Nanyang Technological University;

  Singapore 639798;

  Singapore;

  国防科技大学计算机学院;

  湖南长沙410073;

  高性能计算国家重点实验室(国防科技大学);

  湖南长沙410073;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 计算技术、计算机技术;
• 关键词

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