алгебраические спецификации. способ
спецификации (specification), при котором описание
каждого выполняемого программой или модулем действия
состоит из двух частей: спецификации входных параметров и совокупности уравнений,
описывающих отношения
между входными и выходными параметрами после выполнения операции