For example, the pre - and post-conditions, inputs, and outputs of the use case define the service dependencies, boundary, and data requirements.
例如，用例的前置及后置条件、输入和输出定义服务依赖关系、边界和数据要求。
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.
用例可以由用例描述来支持，包括关键属性，比如先决条件，和一系列的事件。
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的方法涉及一系列进入和退出的准则，分别被称作前置条件和后置条件，和一个称为事件流的核心准则。
So pre - and post conditions are two fundamental elements of contracts.
因此，前置和后置条件是契约理论的两个基本要素。
Before moving on I can describe a very simple example of pre - and post-conditions: a routine that computes the square root of a real number.
在结束此话题之前，我可以举一个有关前置和后置条件的简单例子：一个例程要计算一个实数的平方根。
There are also loop invariants and a few others, but pre contract element condit- and post-conditions and class invariants are really the basic fabric of contracts.
还有循环契约要素条件不变式等等，但前置、后置条件和类不变式是基本要素。
There are also loop invariants and a few others, but pre - and post-conditions and class invariants are really the basic fabric of contracts.
还有循环不变式等等，但前置、后置条件和类不变式是基本要素。
Pre - and post-conditions are symmetric.
前置和后置条件应该是对称的。
Methods We review and analyze heart rate conditions pre -, during and post-operation in 48 cases esophageal and cardiac carcinoma patients complicated with sinus bradycardia.
方法总结分析48例食管贲门癌伴窦性心动过缓病员术前、术中、术后的心率变化。
Methods We review and analyze heart rate conditions pre -, during and post-operation in 48 cases esophageal and cardiac carcinoma patients complicated with sinus bradycardia.
方法总结分析48例食管贲门癌伴窦性心动过缓病员术前、术中、术后的心率变化。
应用推荐