基于环境建模的需求工程相关论文
目前,形式化方法在需求一致性验证方面显示出了强大的力量,特别是对于安全攸关系统。然而,大多数现有的需求验证研究只关注软件需......
学位