526互联
首页
Ai
Java
Python
Android
Mysql
JavaScript
Html
CSS
Stimulus
Stimulus—需求形式化建模和验证工具
Stimulus是法国达索公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完整性检查等。借助Stimulus可以在系统开发的早期阶段发现并修改需求规范中的错误,在系统最终交... ......
Stimulus
形式
需求
工具
更新时间 2023-12-12
共1篇 :1/1页
首页
上一页
1
下一页
尾页