2020年3月9日
Stimulus — 需求形式化建模和分析工具
摘要： Stimulus 是法国达索公司产品，其目的是通过需求建模分析来验证需求的正确性。Stimulus 的核心理念是运用“自然语言”对功能性需求进行建模，并通过仿真来查找需求中的缺陷，例如需求一致性、不二义性和完整性检查等。借助Stimulus 可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统 阅读全文
posted @ 2020-03-09 10:01 经纬恒润 阅读(388) 评论(0) 推荐(0)