ВЕРИФИКАЦИЯ ПРОГРАММЫ

Русско-английский перевод ВЕРИФИКАЦИЯ ПРОГРАММЫ

program verification

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ПРОГРАММЫ — Syllabuses
Русско-Американский Английский словарь
ПРОГРАММЫ — Syllabi
Русско-Американский Английский словарь
ПРОГРАММЫ — Programms
Русско-Американский Английский словарь
ПРОГРАММЫ — Applications
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
ПРОГРАММЫ — The programs
Russian Learner's Dictionary
ПРОГРАММЫ — program, system
Russian-English Edic
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПРОГРАММЫ — ПЛАНЫ, ПРОГРАММЫ см.также ПУТЬ , ЦЕЛЬ Только имея программу, можно рассчитывать на сверхпрограммные неожиданности. Кароль Ижиковский Даже самый дурацкий замысел …
English-Russian aphorisms, русские афоризмы
ПРОГРАММЫ — n см. программа
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ПРОГРАММЫ — программы nсм. также программа
Русско-Английский словарь Сократ
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TURN
Большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
PROGRAMME — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
PLANK — 1. сущ. 1) а) толстая и широкая гладко оструганная доска, планка (от 20-ти см в ширину и от 5-ти до …
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
FEATURE — 1. сущ. 1) а) особенность, характерная черта; деталь, признак, свойство; свойства, особенности, общий вид characteristic, distinctive, distinguishing feature ≈ характерная …
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
ACT
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
PROGRAMME — 1. ʹprəʋgræm n 1. 1> программа party programme - программа партии political programme - политическая программа theatre programme - театральная …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
PROGRAMME — 1. [ʹprəʋgræm] n 1. 1) программа party ~ - программа партии political ~ - политическая программа theatre ~ - театральная …
Новый большой Англо-Русский словарь - Апресян, Медникова
PROGRAMME — 1. ʹprəʋgræm n 1. 1> программа party programme - программа партии political programme - политическая программа theatre programme - театральная …
Большой новый Англо-Русский словарь
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
ECONOMIC OPPORTUNITY ACT OF 1964 — Закон об экономических возможностях 1964 года Стал основой программы администрации Л. Джонсона [Johnson, Lyndon Baines (LBJ)] "Война с бедностью" [War on …
ECONOMIC OPPORTUNITY ACT OF 1964 — Закон об экономических возможностях 1964 года Стал основой программы администрации Л. Джонсона [Johnson, Lyndon Baines] "Война с бедностью" [War on …
SOLID-MODEL VERIFICATION — пространственная верификация, верификация по твердотельным моделям
Современный Англо-Русский словарь по машиностроению и автоматизации производства
IN-PROCESS VERIFICATION — верификация (УП) в процессе программирования, параллельная верификация
Современный Англо-Русский словарь по машиностроению и автоматизации производства
VERIFICATION — 1) верификация, контроль, проверка а) проверка правильности выполнения операции см. тж. data verification б) в САПР электроники - проверка правильности электрических соединений принципиальной …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
SOFTWARE — (SW) программное обеспечение, ПО, разг. софт общее понятие, описывающее программы для компьютеров в отличие от его аппаратных составляющих (hardware). При этом …
Англо-Русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
OPEN-END — сущ. 1) рекл. пустой временной интервал* (место в конце программы или рекламного ролика, оставленное незаполненным для демонстрации местной рекламы; такое построение …
Новый Англо-Русский толковый словарь по маркетингу и торговле
ПСИХИЧЕСКОЕ — ПСИХИЧЕСКОЕ ЗДОРОВЬЕ Развиваемые в области психического здоровья профилактические программы преследуют три основные цели: 1) предотвращение или снижение частоты психических заболеваний; …
Русский словарь Colier
КОСМИЧЕСКАЯ — КОСМИЧЕСКАЯ СТАНЦИЯ В конце 1950-х годов специалисты как в Соединенных Штатах, так и в Советском Союзе не имели ясного представления …
Русский словарь Colier
ЗВУКА — ЗВУКА ВОСПРОИЗВЕДЕНИЕ И ЗАПИСЬ Запись и воспроизведение звука - это область, в которой наука сочетается с искусством (звукорежиссера). Здесь есть …
Русский словарь Colier
ВОЙНЫ — концепция ведения войн в космосе, предусматривающая перенос в околоземное космическое пространство средств вооружений, предназначенных для уничтожения межконтинентальных баллистических ракет противника. …
Русский словарь Colier
КОМПЬЮТЕР — КОМПЬЮТЕР Программное обеспечение представляет собой совокупность компьютерных инструкций. Оно охватывает программы, подпрограммы (разделы программы) и данные. Таким образом, программное обеспечение …
Русский словарь Colier
ИНТЕЛЛЕКТ — ИНТЕЛЛЕКТ ИСКУССТВЕННЫЙ Предполагается, что интеллектуальные машины должны не только решать проблемы шахматной игры и математики, но также видеть, слышать, контролировать …
Русский словарь Colier
ВОЕННО-КОСМИЧЕСКАЯ — ВОЕННО-КОСМИЧЕСКАЯ ДЕЯТЕЛЬНОСТЬ Историческая справка. Вооруженные силы США с самого начала заинтересовали возможности, которые открылись с появлением спутников связи, навигационных и …
Русский словарь Colier
VOICE VERIFICATION — верификация (отождествление) голоса; верификация (говорящего) по голосу
Англо-Русский словарь компьютерной безопасности
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Новый большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Новый большой Англо-Русский словарь
FEATURE — 1. сущ. 1) а) особенность, характерная черта; деталь, признак, свойство; свойства, особенности, общий вид characteristic, distinctive, distinguishing feature ≈ характерная …
Новый большой Англо-Русский словарь
ACT
Новый большой Англо-Русский словарь

Большой Русско-Английский словарь

← ВЕРИФИКАЦИЯ ДИАГНОСТИЧЕСКИХ ПРОЦЕДУР

ВЕРИФИКАЦИЯ СИНХРОНИЗАЦИИ→