postcondition

requirement of a result or effect produced when all its initial conditions are met, and that allows validating it

카테고리: