标题:
Stimulus — 需求形式化建模和分析工具
[打印本页]
作者:
Hirain123
时间:
2017-3-15 13:18
标题:
Stimulus — 需求形式化建模和分析工具
Stimulus
是法国Argosim 公司产品，其目的是通过需求建模分析来验证需求的正确性。Stimulus 的核心理念是运用“自然语言”对功能性需求进行建模，并通过仿真来查找需求中的缺陷，例如需求一致性、不二义性和完整性检查等。借助Stimulus 可以在系统开发的早期阶段发现并修改需求规范中的错误、在系统最终交付验收阶段检查系统设计是否满足需求规范，从而极大地降低产品开发的成本与风险。
Stimulus.pdf
(275.04 KB)
下载次数: 623
2017-3-15 13:18
附件:
Stimulus.pdf
(2017-3-15 13:18, 275.04 KB) / 下载次数 623
http://bbs.eccn.com/attachment.php?aid=47952&k=a141991a30379f7200ff9b934bcbbb2e&t=1714996165&sid=ZVbb64
欢迎光临 电子技术论坛_中国专业的电子工程师学习交流社区-中电网技术论坛 (http://bbs.eccn.com/)
Powered by Discuz! 7.0.0
Stimulus.pdf (275.04 KB)
附件: Stimulus.pdf (2017-3-15 13:18, 275.04 KB) / 下载次数 623