POSTCONDITION

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

выходное условие, пост-условие

Воскобойников Б.С., Митрович В.Л.. English-Russian dictionary of mechanical engineering and automation. Англо-Русский словарь по машиностроению и автоматизации производства. 2003

POSTCONDITION — постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе …
Большой Англо-Русский словарь
POSTCONDITION — Постусловие
Американский Англо-Русский словарь
POSTCONDITION — n постусловие; выходное условие
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
POSTCONDITION — постусловие, выходное условие
Большой Англо-Русский политехнический словарь
POSTCONDITION — постусловие, выходное условие
Большой Англо-Русский политехнический словарь - РУССО
POSTCONDITION — постусловие
Англо-Русский словарь Tiger
POSTCONDITION — (n) выходное условие; постусловие
English-Russian Lingvistica'98 dictionary
POSTCONDITION — n постусловие; выходное условие
Новый большой Англо-Русский словарь - Апресян, Медникова
POSTCONDITION — n постусловие; выходное условие
Большой новый Англо-Русский словарь
POSTCONDITION — выходное условие, пост-условие
Англо-Русский словарь по машиностроению и автоматизации производства 2
POSTCONDITION — постусловие; выходное условие. В доказательстве правильности программ и аксиоматической семантике языков программирования - логическое выражение, которое должно быть истинно после …
Англо-Русский словарь по компьютерам
POSTCONDITION — постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе …
Англо-Русский словарь по вычислительной технике и программированию
POSTCONDITION — постусловие, выходное условие ( условие ( assertion ), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, …
Англо-Русский словарь компьютерных терминов
POSTCONDITION — - post-condition
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
POSTCONDITION — постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе …
Новый большой Англо-Русский словарь
POSTCONDITION — постусловие
Англо-Русский словарь
AXIOMATIC SEMANTICS — < theory > A set of assertions about properties of a system and how they are effected by program execution. …
FOLDOC Computer English Dictionary
КОНТРАКТ — ( набор четко определенных условий, регулирующих отношения между классом-сервером ( supplier) и его клиентами( client); включает индивидуальные контракты для всех …
Russian-English Edic
CONTRACT — ООП контракт (набор четко определенных условий, регулирующих отношения между классом-сервером (supplier) и его клиентами(client); включает индивидуальные контракты для всех экспортируемых членов …
Англо-Русский словарь по вычислительной технике и программированию
ASSERTION — ООП формальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях (contract); см. precondition, postcondition, class invariant, loop …
Англо-Русский словарь по вычислительной технике и программированию
ВЫХОДНОЕ УСЛОВИЕ — postcondition
Русско-Английский словарь по машиностроению и автоматизации производства
CONTRACT — контракт ( набор четко определенных условий, регулирующих отношения между классом-сервером ( supplier ) и его клиентами( client ); включает индивидуальные …
Англо-Русский словарь компьютерных терминов
ASSERTION — формальное утверждение, описывающее семантические свойства элементов программного обеспечения; используется в выражающих их соглашениях ( contract ); precondition , postcondition , …
Англо-Русский словарь компьютерных терминов
POST-CONDITION — - postcondition постусловие в программировании - условие, выполнение которого должно гарантироваться при возврате из процедуры (метода в ООП) в вызывающую программу, если …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПОСТУСЛОВИЕ — post-condition, postcondition
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПОСТУСЛОВИЕ — postcondition
Большой Русско-Английский словарь
ПОСТУСЛОВИЕ — постусловие postcondition
Русско-Английский словарь Сократ

Англо-Русский словарь по машиностроению и автоматизации производства

← POSTAUDIT POSTCOORDINATION→