您应该能够使用UML作为一种规范环境，在该环境中定义应用程序的静态和动态结构。
You should be able to use UML as a specification environment in which to define the static and dynamic structure of the application.
这可能需要对数据流规范进行反复的细化，并在测试环境中应用该规范以证实其正确性。
This can require iterative refinements of the data-flow specification and applying the specification in test environments to prove the correctness.
在复杂应用程序的代码中，应该有可能清晰地确定出与给定参数规范相关的作用域或环境。
In the code of a complex application, it should be possible to clearly identify the scope, or context, associated with any given parameter specification.
应用推荐