ALGEBRAIC SPECIFICATION


Англо-русский перевод ALGEBRAIC SPECIFICATION

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

English-Russian dictionary of computers .      Англо-Русский словарь по компьютерам.