-
1 предусловие
preconditionpreconditionБольшой англо-русский и русско-английский словарь > предусловие
-
2 precondition
Англо-русский словарь нефтегазовой промышленности > precondition
-
3 precondition
входное условие
предусловие
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
Синонимы
EN
предварительное условие
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
предусловие
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > precondition
-
4 precondition
(n) предварительное условие; предпосылка* * *входное условие, предусловие* * *[pre·con·di·tion || ‚prɪːkən'dɪʃn] n. предварительное условие, непременное условие, предпосылка v. заранее обусловить, заранее оговорить* * *предпосылкапредусловие -
5 weakest precondition
слабейшее предусловие
слабейшее входное условие
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > weakest precondition
-
6 postcondition
постусловие, выходное условие( условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition) ;
является частью контракта (contract)) постусловие;
выходное условие postcondition вчт. постусловиеБольшой англо-русский и русско-английский словарь > postcondition
-
7 precondition
ˈpri:kənˈdɪʃən сущ.
1) предварительное условие
2) непременное условие
3) предпосылка Syn: prerequisite предварительное или непременное условие;
предпосылка (компьютерное) предусловие, входное условие обуславливать, оговаривать( что-л.) заранее( техническое) предварительно обрабатывать precondition заранее обусловить, оговорить ~ предварительное или непременное условие, предпосылкаБольшой англо-русский и русско-английский словарь > precondition
-
8 precondition
1. [͵pri:kənʹdıʃ(ə)n] n1. предварительное или непременное условие; предпосылка2. вчт. предусловие, входное условие2. [͵pri:kənʹdıʃ(ə)n] v1. обуславливать, оговаривать (что-л.) заранее2. тех. предварительно обрабатывать -
9 precondition
вчт. предусловие, входное условие -
10 Precondition: The monitoring operator is logged in
Программирование: Предусловие: дежурный оператор вошёл в систему (см. Software Modeling and Design by Hassan Gomaa (2011))Универсальный англо-русский словарь > Precondition: The monitoring operator is logged in
-
11 precondition
[ˌpriːkən'dɪʃ(ə)n]1) Общая лексика: заранее обуславливать, заранее обусловить, обуславливать, оговаривать, оговаривать заранее (что-л.), оговорить, предварительное или непременное условие, предварительное условие, предпосылка, непременное условие2) Техника: предварительно обрабатывать3) Дипломатический термин: обусловить, оговорить ( что-л.) заранее4) Вычислительная техника: входное условие5) Нефть: предусловие6) Макаров: заранее обусловливать, заранее оговаривать, предварительно улучшать обусловленность, улучшать обусловленность, обусловливать (см. обуславливать что-л. заранее; что-л. заранее), обуславливать (что-л. заранее), оговаривать (что-л. заранее) -
12 starting condition
1) Техника: предусловие, условия запуска2) Вычислительная техника: начальное условие, условия на входе3) Автоматика: входные условия, пусковой режим4) Робототехника: мн. пусковой режим -
13 weakest precondition
Вычислительная техника: слабейшее входное условие, слабейшее предусловие -
14 precondition
входное условие, предусловиеEnglish-Russian dictionary of mechanical engineering and automation > precondition
-
15 postcondition
постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition); является частью контракта (contract))English-Russian dictionary of computer science and programming > postcondition
-
16 precondition
English-Russian dictionary of computer science and programming > precondition
-
17 postcondition
= post-condition1) в программировании - условие, выполнение которого должно гарантироваться при возврате из процедуры (метода в ООП) в вызывающую программу, если при входе в неё выполнялось предусловие.A description of post-conditions that describe any side effects of invoking the method. — Описание постусловий, поясняющих любые побочные эффекты исполнения данного метода
Ant:2) в тестировании - условия (состояние программной и/или аппаратной среды), которые должны быть (иметь место быть) после выполнения теста испытуемого программного модуля или системыАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > postcondition
-
18 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
-
19 precondition
предварительное условие; предпосылка; предусловиеEnglish-Russian dictionary of technical terms > precondition
-
20 precondition
предпосылкапредусловие
- 1
- 2
См. также в других словарях:
Предусловие — условие, истинность которого проверяется в начале выполнения тела цикла или процедуры. См. также: Операторы в языках программирования Операторы циклов Финансовый словарь Финам … Финансовый словарь
предусловие — — [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 … Справочник технического переводчика
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия