The contract includes invariants, preconditions, and post conditions.
合同包括不变量，先决条件和后置条件。
So pre - and post conditions are two fundamental elements of contracts.
因此，前置和后置条件是契约理论的两个基本要素。
By this morning's post I have received a pamphlet dealing with conditions in Germany.
今天早上的邮件里我收到一个关于德国情况的小册子。
The downturn is 'much worse than I thought it would be, and ignoring market conditions today would only mean deeper cuts down the road,' Mahalo CEO Jason Calacanis wrote in a blog post Thursday.
Mahalo首席执行长杰森·卡拉卡尼斯(JasonCalacanis)周四在一篇博客文章中写道，这次低迷比我想像的要严重的多，现在忽视市场状况只会意味着未来更大幅度的裁员。
A positive attitude enhances optimism, helps you manage worries and conditions your thoughts. Developing a positive attitude is a post on it's own but a brief summary of its benefits are as follows.
积极的态度提高乐观主义，帮助你去除担忧和改善状况。
Each of these operations can have preconditions and post-conditions, and they can raise exceptions.
每一种操作都具有前提和后期条件，并且它们能够提出例外。
As you can see from the sample files that accompany this article (see Download), a similar approach defines post-conditions and invariants.
正如您可以从本文样例文件(参见下载)看到的，一种类似的方法定义了后置条件和不变式。
In activity form, you capture the decision conditions as post-conditions of the output criteria.
在活动形式中，决策条件将被捕获为输出条件的后置条件。
As the WCRF notes, health advice on regular alcohol consumption takes account of a wide range of conditions, including a protective effect for heart disease in men over 40 and post-menopausal women.
正如世界癌症基金会提到，对于常规酒精消费的健康建议，要考虑到很广泛的条件，包括对超过40的男性和已绝经的女性心脏病的抑制作用。
Similarly, at the end of the function, if you know that there are certain post-conditions that should hold, write assertions corresponding to each.
类似地，在函数的末尾，如果您知道应该有某些后置条件，那就编写对应于各项条件的断言。
The world's largest atom smasher's first experiment went off today without a hitch, paving the way toward the recreation of post-big bang conditions.
世界最大的原子加速器今日毫无悬念地完成了它诞生以来的第一个实验，为“后大爆炸”条件的再现铺平了道路。
A second policy option for the FOMC would be to ease financial conditions through its communication, for example, by modifying its post-meeting statement.
联邦公开市场委员会的第二种选择是通过沟通缓解其金融状况，例如，通过调整其会后声明。
You can add assertion statements as the pre- or post-conditions of a method.
可以将断言语句作为方法的前置条件或后置条件来添加。
Or, the order is modified to deal with unavailable items and fulfilled per the other post-conditions.
或者，对订单进行修改，以处理缺货的物品，并按照其他后续条件履行订单。
For example, the pre - and post-conditions, inputs, and outputs of the use case define the service dependencies, boundary, and data requirements.
例如，用例的前置及后置条件、输入和输出定义服务依赖关系、边界和数据要求。
Most obviously, memories of certain events can be extremely emotional, and their recall can therefore contribute to post-traumatic stress disorder or other similar conditions.
最显而易见的是，某些事件的记忆很情绪化，对它们的回忆会引发创伤后应激障碍或其它的类似症状。
Post-conditions: Expected results after the execution of the external component.
后置条件：执行外部组件后的预期结果。
Instead, they had conditions like depression, anxiety, or post-traumatic stress disorder that could be managed with safer, less-expensive medications.
相反，他们有诸如抑郁症、焦虑或创伤后紧张症等症状，这些症状需要更安全、不那么昂贵的药物治疗。
Insomnia and other sleep-related problems could lead to illnesses including psychiatric conditions, attention deficit disorder, post traumatic stress and depression, research suggests.
研究证明，失眠以及其它与睡眠有关的问题可能引发各种疾病，其中包括精神病、注意力缺乏症、创伤后压力和抑郁症。
In practical terms, you express the functional requirements in terms of a data structure and pre- as well as post-conditions.
从实践上来看，功能需求是根据数据结构和先决/后决条件来表达的。
The use case may be supported by a use case description containing key properties, such as pre-conditions, post-conditions, and a flow of events.
用例可以由用例描述来支持，包括关键属性，比如先决条件，和一系列的事件。
Any post-conditions that consumers can expect and that providers must provide upon successful use of the capability.
任意消费者可以预期的任意后状况以及必须能够成功使用功能的提供商。
Jacobson's method involves a set of entry and exit criteria called pre-conditions and post-conditions respectively, and a core criteria called the flow of events.
Jacobson的方法涉及一系列进入和退出的准则，分别被称作前置条件和后置条件，和一个称为事件流的核心准则。
In Rational Quality Manager, they often include preconditions and post-conditions for test execution and describe the expected results.
在Rational QualityManager中，它们通常包括了测试执行的前状况以及后状况，并描述了预期的结果。
Based on summary and analysis of the actual conditions of post enterprises, this paper proposes two models of making time limit standard for mail transmission.
本文从总结和分析邮政企业的实际情况出发，探讨了制定邮件传递时限标准的两种模式。
Lines starting with the comment "check some post-conditions".
以注释“checksome post - conditions”开始的行。
Lines starting with the comment "check some post-conditions".
以注释“checksome post - conditions”开始的行。
应用推荐