postcondition

基本解釋

• 后置條件

同根派生

• postcondition相關(guā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ù)構(gòu)件的可信,并給出具體的實(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)換為過(guò)程化算法描述的技術(shù)。
• program postcondition
  程序路徑

• postcondition更多例句