-
1 постусловие
Большой англо-русский и русско-английский словарь > постусловие
-
2 tail conditions
-
3 postcondition
постусловиеEnglish-Russian dictionary of technical terms > postcondition
-
4 postcondition
-
5 postcondition
-
6 tail conditions
English-Russian big polytechnic dictionary > tail conditions
-
7 postcondition
-
8 postcondition
English-Russian dictionary of computer science > postcondition
-
9 postcondition
постусловие, выходное условие( условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition) ;
является частью контракта (contract)) постусловие;
выходное условие postcondition вчт. постусловиеБольшой англо-русский и русско-английский словарь > postcondition
-
10 postcondition
постусловие
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Англо-русский словарь нормативно-технической терминологии > postcondition
-
11 postcondition
постусловие, выходное условие -
12 postcondition
постусловие, выходное условие (условие (assertion), выполнение которого должно быть гарантировано при возврате из процедуры в вызывающую программу, если при входе в нее выполнялось предусловие(precondition); является частью контракта (contract))English-Russian dictionary of computer science and programming > postcondition
-
13 postcondition
-
14 postcondition
[͵pəʋstkənʹdıʃ(ə)n] nпостусловие; выходное условие -
15 post condition
Программирование: постусловие -
16 postcondition
-
17 tail conditions
1) Вычислительная техника: постусловия2) Механика: постусловие3) Робототехника: постусловия (применяемого правила вывода) -
18 test suite
1) Общая лексика: комплексный тест (набор (ряд) испытательных программ (контрольных тестовых примеров) для последовательного тестирования различных аспектов функционирования аппаратной и/или программной системы; при этом постусловие (postcondition) одного т)2) Вычислительная техника: набор тестов, тестовая последовательность, пакет программ для тестирования3) Программирование: тестовый комплекс, тестовый комплект, тестовый набор -
19 Nachbedingung
сущ.электр. постусловие -
20 postcondition
сущ.выч. выходное условие, постусловие
- 1
- 2
См. также в других словарях:
Постусловие — условие, истинность которого проверяется после выполнения тела цикла или процедуры. См. также: Операторы в языках программирования Операторы циклов Финансовый словарь Финам … Финансовый словарь
постусловие — сущ., кол во синонимов: 1 • условие (12) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
постусловие — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN postcondition … Справочник технического переводчика
Постусловие — 9.24 Постусловие предикат, задающий требования, которые должны быть справедливы непосредственно после осуществления действия. Источник … Словарь-справочник терминов нормативно-технической документации
постусловие — постусл овие, я (от усл овие, программ.) … Русский орфографический словарь
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
ГОСТ Р ИСО/МЭК 10746-2-2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель — Терминология ГОСТ Р ИСО/МЭК 10746 2 2000: Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель оригинал документа: 6.3 Абстракция процесс отбрасывания… … Словарь-справочник терминов нормативно-технической документации
ПРОГРАММИРОВАНИЕ ТЕОРЕТИЧЕСКОЕ — математическая дисциплина, изучающая математич. абстракции программ, трактуемых как объекты, выраженные на формальном языке, обладающие определенной информационной и логич. структурой и подлежащие исполнению на автоматич. устройствах. П. т.… … Математическая энциклопедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия
Продукционная модель представления знаний — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Продукционная модель знания — модель основанная на правилах, позволяет представить знание в виде предложений типа «Если (условие), то (действие)». Продукционная модель фрагменты Семантической сети, основанные на временных отношениях между состояниями объектов. Продукционная… … Википедия