алгебраические спецификации. способ спецификации (specification), при котором описание каждого выполняемого программой или модулем действия состоит из двух частей: спецификации входных параметров и совокупности уравнений, описывающих отношения между входными и выходными параметрами после выполнения операции
ALGEBRAIC SPECIFICATION
Англо-русский перевод ALGEBRAIC SPECIFICATION
English-Russian advanced dictionary. Англо-Русский дополнительный словарь . 2012