Terms for subject Information technology containing Functions of

English	Russian
automatic extraction of function contracts from source code	автоматическое извлечение контрактов функций из исходного кода (Alex_Odeychuk)
composition of functions	композиция функций
course-of-value function	производящая функция
decomposition of logical function	декомпозиция логических функций
hierarchy of function	иерархия функций
increment of function	приращение функции
K-out-of-N function	функция " k" из "n"
loci of function	тип функции
over the realm of functions	на пространстве функций (Alex_Odeychuk)
work of function	работа функции (Konstantin 1966)