从中可以看出，UML提供了灵活、易读且无二义性的表达模式。
So it is clear that UML provided a nimble, legible and also non-ambiguous expression pattern.
这样你就可以重述需求，使之清晰和无二义性，提供足够的细节以支持设计。
Then you would restate the requirements to make them clear and unambiguous, providing enough detail to support a design.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
语言就是形式化方法中具有代表性的一种形式规格说明，它语言精确、无二义性，可以用于推理和求精。
Z language is a formal specification which is representative in formal method. Z language is accurate and without different meanings. It could be used to discursion and refinement.
之后把它转换成ebnf文法，再通过一系列变换转化成无二义性的SI - NS图，根据此图就可以写出相应的各个子程序。
After transforms them the EBNF grammars and unambiguous SINS charts, we may write the corresponding procedure according to every chart.
之后把它转换成ebnf文法，再通过一系列变换转化成无二义性的SI - NS图，根据此图就可以写出相应的各个子程序。
After transforms them the EBNF grammars and unambiguous SINS charts, we may write the corresponding procedure according to every chart.
应用推荐