我们将验证工作与系统设计结合起来，设计和开发了针对UML顺序图的自动验证工具原型。
To combine the verification with system design, a prototype of automatic verification tool for UML sequence diagrams has been designed and developed.
在大多数应用中，开发者都需要手工编写业务逻辑与验证规则代码，而这些代码都不太容易自动生成，那代码生成工具是如何解决这个问题的呢？
In most applications, the developers need to hand-code business logic and validation rules that are not easy to auto-generate. How do the code generation tools address this requirement?
此工具包可以构建、部署以及构建-验证-测试基于SOA的应用程序，然后自动生成相关的构建脚本。
This toolkit can build, deploy, and build-verify-test an SOA-based application and then generate related build scripts automatically.
应用推荐