我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。

To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.

youdao

我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。

To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.

youdao