hirain

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

概述 Stimulus 是法国Argosim 公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus 的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完...

SigFit — 光-机-热耦合分析工具

概述 美国 Sigmadyne 公司的 SigFit 软件是专业的光机热耦合分析工具,可以将有限元分析得到的光学表面变形等结果文件通过多项式拟合或插值转化为 Zemax/CodeV 等光学分析软件的输入文件,还可实现动态响应分...

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

概述 Stimulus 是法国Argosim 公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus 的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完...