常見(jiàn)例句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. 重點(diǎn)分析了契約式設(shè)計(jì)如何通過(guò)前置條件、後置條件和不變式3要素保証業(yè)務(wù)搆件的可信,竝給出具躰的實(shí)例來(lái)說(shuō)明。In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms. 提出了一種將前後斷言形式定義的非過(guò)程化的軟件功能轉(zhuǎn)換爲(wèi)過(guò)程化算法描述的技術(shù)。program postcondition 程序路逕 返回 postcondition