安全关键软件术语推荐和需求分类方法

著录项

• 来源
  《计算机科学》 |2021年第5期|32-44|共13页
• 作者

  杨志斌; 杨永强; 袁胜浩; 周勇; 薛垒; 程高辉;

  展开▼
• 作者单位

  南京航空航天大学计算机科学与技术学院 南京211106;

  高安全系统的软件开发与验证技术工信部重点实验室 南京211106;

  南京航空航天大学计算机科学与技术学院 南京211106;

  高安全系统的软件开发与验证技术工信部重点实验室 南京211106;

  南京航空航天大学计算机科学与技术学院 南京211106;

  高安全系统的软件开发与验证技术工信部重点实验室 南京211106;

  南京航空航天大学计算机科学与技术学院 南京211106;

  高安全系统的软件开发与验证技术工信部重点实验室 南京211106;

  上海航天电子技术研究所 上海201109;

  北京控制与电子技术研究所 北京 100038;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  安全关键软件; 需求工程; 术语推荐; 术语聚类; 需求分类;