Stimulus — 需求形式化建模和分析工具

        Stimulus 是法國達索公司產品，其目的是通過需求建模分析來驗證需求的正確性。Stimulus 的核心理念是運用「自然語言」對功能性需求進行建模，並通過仿真來查找需求中的缺陷，例如需求一致性、不二義性和完整性檢查等。藉助Stimulus 可以在系統開發的早期階段發現並修改需求規範中的錯誤、在系統最終交付驗收階段檢查系統設計是否滿足需求規範，從而很大地降低產品開發的成本與風險。

>>阅读原文<<