Terms for subject Programming containing function precondition

English	Russian
function precondition	предусловие функции (специальное условие, которые проверяется при вызове (входе в) функцию Alex_Odeychuk)
function preconditions and postconditions	предусловия и постусловия функции (Alex_Odeychuk)