通过用MSC来动态模拟规范的行为的执行过程,可以很好地帮助人们理解规范内容,这对于规范校验(specification validation)有重要的意义.此外,我们为支持这一MSC自动生成过程编写的一款工具原形,也会在文中作简要介绍.
基于12个网页-相关网页
specification validation tool 规范书确认工具
Specification and Validation 规范与验证
specification validation
规范的验证
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动