·Software Testing软件测试 ·Specification and Validation规范与验证 ·Security, Dependability, Survivability and Reliability安全性、独立性、持久性、可靠性 ·Cloud Computing云计算 ..
基于16个网页-相关网页
一个考虑时间因素的工作流模型，需要在投入运行前进行时间规范与验证，以保证工作流执行的时间协调。
A workflow model, which considers time related factors, requires time specification and verification before it goes into production so as to guarantee the time coordination in workflow executions.
它还使用Boogie根据规范来验证汇编语言，并确保它可以与TAL代码和硬件安全地交互。
Boogie is used to verify the assembly language against a specification and guarantees safe interaction with the TAL code and hardware.
对于创建者，不管他们是手工编写DOAP还是通过创建工具输出DOAP，验证程序(validator)都会保持与规范的一致性。
For creators, whether they're writing DOAP by hand or creating tools to output it, a validator shows compliance to the specification.
应用推荐