This can require iterative refinements of the data-flow specification and applying the specification in test environments to prove the correctness.
这可能需要对数据流规范进行反复的细化，并在测试环境中应用该规范以证实其正确性。
Other refinements not mentioned in this article are mainly used when working with arrays and other structured data.
本文未提及的其他细分主要用于处理数组和其他结构化数据。
All target connections within the grouping of if, Else if, and Else refinements must target sibling elements on the target data structure.
包含if、Else if和Else细分的组合内的所有目标连接必须针对目标数据结构中的兄弟(sibling)元素。
All target connections within the grouping of if, Else if, and Else refinements must target sibling elements on the target data structure.
包含if、Else if和Else细分的组合内的所有目标连接必须针对目标数据结构中的兄弟(sibling)元素。
应用推荐