postcondition

(programming) A condition that must be met immediately after execution of some piece of code.

日本語の意味

プログラミングにおいて、あるコードの実行が完了した直後に成立しているべき状態または条件

Design the function so that the postcondition (the condition immediately after execution) is clearly specified and verifiable.

関数を設計する際には、実行直後に満たされるべき事後条件が明確に指定され、検証可能であるようにしてください。

意味（1）

(programming) A condition that must be met immediately after execution of some piece of code.

postconditions

（ plural ）