postcondition

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

دسته بندی ها: