-
41 pre-condition
= preconditionпредварительное условие, предусловие, предпосылка1) в программировании - логическое утверждение, в случае истинности которого выполняется некоторая программная конструкция (оператор, процедура, функция и т. п.).A description of pre-conditions that must be satisfied if the method is to execute successfully. — Список предварительных условий, которые должны удовлетворяться, чтобы метод был успешно исполнен
Ant:2) в тестировании - условия (состояние программной и/или аппаратной среды), которые должны быть выполнены до запуска конкретного теста испытуемого программного модуля или системыAnt:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > pre-condition
-
42 precondition
предварительное условие; предпосылка; предусловиеEnglish-Russian dictionary of technical terms > precondition
-
43 precondition
предпосылкапредусловие -
44 precondition
-
45 precondition
1. n предварительное или непременное условие; предпосылка2. n вчт. предусловие, входное условие3. v обуславливать, оговаривать заранее4. v тех. предварительно обрабатыватьСинонимический ряд:essential (noun) condition; essential; must; necessity; prerequisite; requirement; requisite; sine qua non -
46 precondition
входное условие; предусловие -
47 weakest precondition
слабейшее предусловие; слабейшее входное условиеEnglish-Russian information technology > weakest precondition
-
48 условие команды
Русско-английский словарь нормативно-технической терминологии > условие команды
-
49 command condition
Англо-русский словарь нормативно-технической терминологии > command condition
См. также в других словарях:
Предусловие — условие, истинность которого проверяется в начале выполнения тела цикла или процедуры. См. также: Операторы в языках программирования Операторы циклов Финансовый словарь Финам … Финансовый словарь
предусловие — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN precondition … Справочник технического переводчика
Предусловие — 9.23 Предусловие предикат, задающий требования, которые должны быть справедливы для того, чтобы действие осуществилось. Источник … Словарь-справочник терминов нормативно-технической документации
Предусловие связывания — 13.4.3 Предусловие связывания набор условий, требуемых для успешного выполнения связывающего поведения. Объекты, осуществляющие связывающее поведение, должны иметь идентификаторы для всех интерфейсов, участвующих в связывании. Могут существовать… … Словарь-справочник терминов нормативно-технической документации
предусловие — предусл овие, я … Русский орфографический словарь
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
слабейшее предусловие — слабейшее входное условие — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы слабейшее входное условие EN weakest precondition … Справочник технического переводчика
ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… … Словарь-справочник терминов нормативно-технической документации
Логика Хоара — (англ. Hoare logic, также Floyd Hoare logic, или Hoare rules) формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в… … Википедия
входное условие — предусловие — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом Синонимы предусловие EN precondition … Справочник технического переводчика
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия