PTTC.PNG
Skip to main content.

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

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

FR

Тематики

  • информационные технологии в целом

EN

  • algebraic specification

 

Внимание!

Закрыть