The ideal example translation can achieve formal correspondence as well as meaning equivalence.
理想的例证翻译是既做到意义等值，又做到形式对应。
The resulted formal framework reasoning about policy equivalence, policy conflict and policy cooperation has more advantages over ones described in literature.
形式框架支持推理多策略的策略等价，策略冲突及策略协作，在多方面优于目前文献中的形式框架。
The paper puts forward an automated testing case generator algorithm which uses equivalence class division methods and formal specification.
本文提出了一种从形式规格说明中利用等价类划分的方法自动生成软件测试用例的算法，给出了算法步骤。
English metaphor can be reproduced in Chinese by literal translation, literal translation with annotation, image transformation and free translation for formal, functional or cultural equivalence.
在翻译成汉语时，可采用直译，直译加注，形象转换及意译等处理方法，以求得在功能、形式、文化上的等同。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
应用推荐