POSTCONDITION


Англо-русский перевод POSTCONDITION

постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition); является частью контракта (contract))

Масловский Е.К.. English-Russian dictionary of computer science.      Англо-Русский словарь по вычислительной технике и программированию.