数字技术与应用2020，Vol.38Issue(4)：55-61,7.DOI:10.19695/j.cnki.cn12-1369.2020.04.28
基于一阶逻辑的需求变更影响分析方法研究
Research on Method of within Requirements Change Impact Analysis Based on First Order Logic
彭钊 1杜天保1
作者信息
- 1. 南京航空航天大学计算机科学与技术学院,江苏南京 211100
- 折叠
摘要
关键词
需求间变更影响分析/一阶逻辑/形式化语义/可追踪性分类
信息技术与安全科学引用本文复制引用
彭钊,杜天保..基于一阶逻辑的需求变更影响分析方法研究[J].数字技术与应用,2020,38(4):55-61,7.
