postcondition 中文意思是什麼

postcondition 解釋
後置條件
  1. This paper introduces first - order predicate calculus and assertion method from precondition to postcondition into the research of refactoring. and a logic deduction system is put forward in this paper : refactoring reliability deduction system

    引入了一階謂詞演算和前後斷言方法，並且自定義了一個重構可靠性證明的邏輯推理系統：重構可靠性推演系統。
  2. An example postcondition : the new balance is the old balance, less the amount withdrawn

    後置條件示例：新的余額就是老的余額扣除取款金額。
  3. Rule in that the precondition and the postcondition are fixed after the rule is defined

    規則的相似之處在於：定義了規則以後，前提條件和後置條件是固定的。
  4. Then, i filled in the desired outcome section, and skipped down and added a postcondition, and around and around i went

    然後，我填寫期望的結果部分，添加後置條件，就這樣一輪一輪的進行下去。
  5. That is, a postcondition is something that you can check after the use case completes in order to determine the success or failure of the use case

    即，可以在用例完成之後檢查後置條件，以便確定用例是成功還是失敗。
  6. A precondition is a constraint under which a member function will operate properly, and a postcondition is a property or assertion that will be true after a member function has finished running see

    可適用的前提條件和後置條件前提條件是成員函數正確操作的約束，而後置條件是在成員函數完成運行后是否為真的特性或斷言（請參閱
  7. We specify a statement of failure as postcondition, expend the relative axioms and use them try to prove weakest precondition, if the proving succeed, it means that the protocol suffer from an attack

    我們定義協議的失敗條件作為後置條件，對加密系統的有關公理進行擴展，並用來對最弱前置條件進行推理證明，如果證明成功說明該協議會受到某個攻擊。
分享友人
分享到 Line

分享到臉書