postcondition

基本解释

An example postcondition: the new balance is the old balance, less the amount withdrawn.
后置条件示例:新的余额就是老的余额扣除取款金额。
The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed.
重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信,并给出具体的实例来说明。
In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms.
提出了一种将前后断言形式定义的非过程化的软件功能转换为过程化算法描述的技术。
program postcondition
程序路径