詞語:postcondition
postcondition的解釋
postcondition[,pəustkən'diʃən]後置條件
postcondition的意思
postcondition 後置條件;後[置]條件;結果條件;後放條件;
postcondition的參考例句
1.The three factors: precondition, postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed. 重點分析了契約式設計如何通過前置條件、後置條件和不變式3要素保證業務構件的可信,並給出具體的實例來說明。
2.In this paper, we propose a technology which transforms non-procedural functions defined formally by precondition and postcondition into procedural algorithms. 提出了一種將前後斷言形式定義的非過程化的軟件功能轉換為過程化算法描述的技術。