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
程序路逕