通过用MSC来动态模拟规范的行为的执行过程,可以很好地帮助人们理解规范内容,这对于规范校验(specification validation)有重要的意义.此外,我们为支持这一MSC自动生成过程编写的一款工具原形,也会在文中作简要介绍.
基于12个网页-相关网页
对于规范校验
Check to gauge
以上为机器翻译结果,长、整句建议使用 人工翻译 。
场景3:商业语言,关于如何通过DSL使对规范对于客户来说可读性与可校验性更强(42:53)
Act 3: Business Language, on how to use a DSL to make specifications readable and verifyable for the client (42:53)
youdao
应用推荐
模块上移
模块下移
不移动