postcondition

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

en-GB/pəʊstkəndɪʃn/

Categorieën:

condition