The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed.
重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信,并给出具体的实例来说明。
By summarizing its application in test case generation,precondition was classified and parameterized.
在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。
Precondition, burden of proof and choice of action form are three problems required to solve in action realizing system.
前置条件、举证责任之承担和诉讼形式的选择是目前诉讼实现机制亟待解决的三大问题,本文拟对它们进行客观、冷静的评述与选择,望能对证券民事责任诉讼实现机制有所裨益。
The method uses the pre-condition and post condition which the services must be met as a judge matching criteria,and this can speed up the matching of services and improve the matching accuracy,and prove the effectiveness of the method in the practical application.
该方法依据服务所必须满足的前置条件和后置条件作为判断服务匹配的准则,可以加快服务的匹配速度以及提高匹配精度,并在实际应用中证明了该方法的有效性。
Cosidering the difficulities to search pre-condition of Hoare’axiomatic approach, an idea of combing these two methods is proposed.
针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。
Our approach is specify a protocol in CPAL (Cryptographic Protocol Analysis Language) ,apply Hoare and Dijkstra抯 theory of formal semantics to it, analysis it抯 forma] semantics, define weakest precondition of each kind of language statement.
我们的方法就是用CPAL(Cryptographic Protocol Analysis Language)语言来表示协议,将Hoare和Dijkstra在形式语义方面的理论应用到该语言,分析该语言的形式语义,定义每种语句的最弱前置条件。
sensory preconditioning
感觉的前置条件作用
Preconditons of the Development of Chinese Agricultural Futures Markets and Its Restricting Factors
农产品期货市场发展的前置条件及其制约因素
These days, most talk about aid acknowledges the fact that good governance is a precondition of poverty eradication.
这些日子,大多数谈论援助的人承认好的政府管理这一事实是根除贫困的前置条件。
Document preconditions, postconditions, and invariant conditions.
对前置、置、变条件进行文档注释。
Prospect of roadway arrangement reform under the condition of thick seam with large dip angle
大倾角厚煤层条件下巷道布置改革的前景
The conditional member of a hypothetical proposition.
前提,前提条件假设命题中的条件
An Analysis of Resource Allocation,TOT and the Causes and Future of China s Entry Into AFTA;
资源配置、贸易条件与中国加入AFTA的动因及前景分析
Precondition - line %1, file %2, condition = %3, message = %4
前提条件-行%1,文件%2,条件=%3,消息=%4
return to a previous location or condition.
返回原来的位置或条件。
Failed to set the current search criteria. Your server version may not allow you to perform searches in Search Folders.
当前搜索条件设置失败。您的服务器版本可能不允许在“搜索文件夹”中执行搜索。
Study on the frontal condition for continuous phase plate in inertial confinement fusion driver
激光惯性约束聚变驱动器终端光学系统中束匀滑器件前置的条件研究
Article 7. The criteria of assets scale and other factors as referred to in the aforesaid article are:
第七条 前条所指的资产规模等条件是:
regain a former condition.
重新回到先前的条件。
Patience must suppose pain
痛苦是耐心的前提条件
Save these settings for the current user profile only.
只为当前用户配置文件保存这些设置。
No default profile set. Please use the Profile Wizard to set a default profile before running the Message File Conversion Wizard.
未设置默认配置文件。请在运行邮件文件转换向导之前,使用配置文件向导设置默认配置文件。
A conditional release of an offender from confinement before the expiration of his or her sentence. The offender is usually placed under the guidance of a parole officer.
囚犯在服刑期满前有条件地释放出来,但必须置于假释官的督导之下。
All of these prerequisites can be configured through the setup project for the add-in you create in VSTO.
所有这些前提条件都可以从你在VSTO里创建的加载宏的安装工程里配置。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号