входное условие, предусловие ( условие ( assertion ), выполнение которого должно быть гарантировано входе в процедуру; является частью контракта ( contract ) )
PRECONDITION
Англо-русский перевод PRECONDITION
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012