| 1. | An example postcondition : the new balance is the old balance , less the amount withdrawn
后置条件示例：新的余额就是老的余额扣除取款金额。 |
| 2. | Rule in that the precondition and the postcondition are fixed after the rule is defined
规则的相似之处在于：定义了规则以后，前提条件和后置条件是固定的。 |
| 3. | Then , i filled in the desired outcome section , and skipped down and added a postcondition , and around and around i went
然后，我填写期望的结果部分，添加后置条件，就这样一轮一轮的进行下去。 |
| 4. | That is , a postcondition is something that you can check after the use case completes in order to determine the success or failure of the use case
即，可以在用例完成之后检查后置条件，以便确定用例是成功还是失败。 |
| 5. | A precondition is a constraint under which a member function will operate properly , and a postcondition is a property or assertion that will be true after a member function has finished running see
可适用的前提条件和后置条件前提条件是成员函数正确操作的约束，而后置条件是在成员函数完成运行后是否为真的特性或断言（请参阅 |
| 6. | We specify a statement of failure as postcondition , expend the relative axioms and use them try to prove weakest precondition , if the proving succeed , it means that the protocol suffer from an attack
我们定义协议的失败条件作为后置条件，对加密系统的有关公理进行扩展，并用来对最弱前置条件进行推理证明，如果证明成功说明该协议会受到某个攻击。 |
| 7. | This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring . and a logic deduction system is put forward in this paper : refactoring reliability deduction system
引入了一阶谓词演算和前后断言方法，并且自定义了一个重构可靠性证明的逻辑推理系统：重构可靠性推演系统。 |
