алгебраические спецификации

Дата последнего изменения:2016.07.22
Сообщить об ошибке

	алгебраические спецификации Способ спецификации, при котором описание каждого выполняемого программой или модулем действия состоит из двух частей: спецификации входных параметров и совокупности уравнений, описывающих отношения между входными и выходными параметрами после выполнения операции. [Борковский А. Б. Англо-русский словарь по программированию и информатике. 1990]
EN
FR