2) executable UML
可执行UML
1.
We put forth an idea that on the basis of the extreme modeling software development methodology, bringing in the technology of executable UML will make it better.
极限建模是UML和XP结合的产物,其主要贡献是使模型可执行和可测试,而可执行UML是最近兴起的模型驱动架构(MDA)软件开发方法的核心技术。
3) performability
可执行性
1.
Since the system states transition suffices Markov characteristic, we establish a semi Markov reward process based the model to analyze performability of the system quantitatively.
系统状态转移满足马尔可夫特性,建立 SMRP模型并进行分析,系统回报率表示系统的可执行性,累积回报率则表明系统在一段时间内完成任务总量。
4) executization
可执行化
1.
In this paper, the algorithm of parametrization and executization implemented in the TUGEN system is discussed, and the result and the reason of its limitation are analyzed.
讨论了在测试集自动生成系统 TU GEN中实现的参数化可执行化算法 ,分析了该算法的效果、不足及其原因 ;讨论了可执行化处理中所涉及谓词可满足性问题的复杂度和测试路径可执行性问题 ,并在此基础上进一步提出并实现了“可执行参数化”的算法 ,克服了前一算法的不足 ,提高了 TU -GEN的实用性和执行效率 ;在进行了讨论分析后 ,以实例进行了对比和说明 ,并对今后的研究方向进行了展
补充资料：《承认和执行外国仲裁裁决的公约》
《承认和执行外国仲裁裁决的公约》
《承认和执行外国仲裁裁决的公约》1958年6月10日在纽约联合国经济及社会理事会召开的国际商事仲裁会议上通过和缔结，简称《1958纽约公约》。该公约是当今承认和执行外国仲裁裁决的具有普遍性的公约。中国于1986年12月2日通过加入该公约的决定，1987年4月22日该公约对中国生效。公约共16条，就缔约国承认及执行外国仲裁裁决的义务和条件作了统一的规定，主要内容为:①缔约国必须相互承认对方国家的仲裁裁决的约束力，并且依照裁决需其承认或执行的地方的程序规则和公约规定的条件执行;在承认和执行对方国家的仲裁裁决时，不应提出比承认和执行本国仲裁裁决更为苛刻的条件或征收更多的费用。②申请另一缔约国承认和执行仲裁裁决的当事人，应提供经过适当证明的仲裁裁决书的正本或副木，必要时应附具译本。③拒绝承认与执行外国仲裁裁决的条件。此外，公约允许各国加入时在互惠的基础上承认和执行在缔约国领域内作出的仲裁裁决(即互惠保留声明)和声明只承认和执行属于商事的仲裁裁决(即商事保留声明)。中国在加人该公约时也作了以上两项保留声明。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条