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

Русско-английский перевод ВЕРИФИКАЦИЯ ДИАГНОСТИЧЕСКИХ ПРОЦЕДУР

diagnostic verification

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

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
ПРОЦЕДУР — Procedures
Russian Learner's Dictionary
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
КОДИРОВАНИЕ ДИАГНОСТИЧЕСКИХ СООБЩЕНИЙ — diagnostic coding
Русско-Английский словарь по машиностроению и автоматизации производства
БИБЛИОТЕКА ДИАГНОСТИЧЕСКИХ ПРОГРАММ — diagnostic library
Русско-Английский словарь по машиностроению и автоматизации производства
РЕГИСТРАЦИЯ ДИАГНОСТИЧЕСКИХ ПАРАМЕТРОВ — diagnostic parameter recording
Русско-Английский словарь по строительству и новым строительным технологиям
УНИФИЦИРОВАННОСТЬ ПРОЦЕДУР СВЯЗИ — унифицированность процедур связи communications commonality
Русско-Английский словарь Сократ
DISTRICT NURSE — районная сестра, фельдшерица (медсестра помощи на дому, приходящая по предписанию врача для проведения лечебных процедур; работает в системе Государственной службы …
Англо-Русский словарь Britain
URPC — Universal Remote Procedure Call, универсальная система дистанционноговызова процедур vlasenko.com
Computer ABB's English Dictionary
RPC — Remote Procedure Call, дистанционный вызов процедур (сетевогоадминистрирования) vlasenko.com
Computer ABB's English Dictionary
WARM START — теплая перезагрузка (перезапуск системы без выполнения ряда процедур начального тестирования и инициализации некоторых интерфейсных СБИС)
Большой Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TRUSTED RECOVERY — высоконадежное восстановление (набор процедур и соответствующих им данных, используемых в рамках регламентированного процесса восстановления системы после аварийной ситуации или системного …
Большой Англо-Русский словарь
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
SPAGHETTI PROGRAM — проф. "макаронная" программа (с большим размером процедур и интенсивным использованием оператора goto. Трудна для изучения и модификаций.)
Большой Англо-Русский словарь
SERVER SERVICE — сервис сервера (в сети ≈ обеспечивает поддержку удаленного вызова процедур (RPC) и совместного использования файлов, печати и именованных каналов)
Большой Англо-Русский словарь
RPC SERVICE — сервис удаленного вызова процедур (подсистема програмного обеспечения Microsoft Windows NT, включающая в себя распределитель конечной точки (endpoint mapper) и другие …
Большой Англо-Русский словарь
RPC SERVICE — сервис удаленного вызова процедур (подсистема програмного обеспечения Microsoft Windows NT, включающая в себя распределитель конечной точки (endpoint mapper) и другие …
Большой Англо-Русский словарь
RPC LOCATOR SERVICE — сервис поиска удаленного вызова процедур (позволяет распределенным приложениям использовать сервис имен RPC (RPC Name service), управляет базой данных сервиса имен …
Большой Англо-Русский словарь
RPC LOCATOR SERVICE — сервис поиска удаленного вызова процедур (позволяет распределенным приложениям использовать сервис имен RPC (RPC Name service), управляет базой данных сервиса имен …
Большой Англо-Русский словарь
REGISTER WINDOWS — регистровые окна (в архитектуре SPARC, служащие для повышения эффективности вызова процедур и переключения с задачи на задачу)
Большой Англо-Русский словарь
RED BOOK — "красная книга" (папка красного цвета, содержащая описание стандартного протокола пересылки заданий и предписываемых процедур) красная книга (название ряда справочников) родословная …
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
PROCESS NETWORK — сетевая схема процесса (напр., процедур логического вывода)
Большой Англо-Русский словарь
PROCEDURE TEST — "процедурный" тест (тестирование операций обработки процедур)
Большой Англо-Русский словарь
PROCEDURE SUBMISSION — приписывание процедур (в информационных системах)
Большой Англо-Русский словарь
PROCEDURE LIBRARY — библиотека процедур
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC RESOLUTION — разрешающая способность диагностических средств; достижимая глубина поиска неисправностей
Большой Англо-Русский словарь
DIAGNOSTIC PROGRAMMING — планирование диагностических испытаний
Большой Англо-Русский словарь
DIAGNOSTIC LIBRARY — библиотека диагностических программ
Большой Англо-Русский словарь
COMMUNICATIONS COMMONALITY — унифицированность процедур связи (характеристика качества программного обеспечения) унифицированность процедур связи
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
DIAGNOSTIC LIBRARY — библиотека диагностических программ
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
DIAGNOSTIC LIBRARY — библиотека диагностических программ
Большой Англо-Русский политехнический словарь - РУССО
INTERMODULE OPTIMIZATION — межмодульная оптимизация. оптимизация программы с учетом межмодульных связей, в частности, удаление невызываемых процедур, подстановка тела процедуры вместо ее вызова, упрощение …
Англо-Русский словарь Tiger
IMPLEMENTATION SPECIFICATION — описание реализации. в языках модульного программирования - часть описания модуля программы, содержащая описание процедур, выполняющих описанные в интерфейсе операции, описание …
Англо-Русский словарь Tiger
PIPELINE — 1. сущ. 1) трубопровод; нефтепровод 2) канал ( связи, снабжения, коммуникации и т. д. ) diplomatic pipelines — дипломатические каналы …
Англо-Русский словарь по общей лексике
PIPELINE — 1. сущ. 1) трубопровод; нефтепровод 2) канал (связи, снабжения, коммуникации и т. д.) diplomatic pipelines — дипломатические каналы 3) ожидаемые новые поступления (продукция, которая …
Англо-Русский словарь общей лексики
ON-LINE DIAGNOSTICS GATHERING — сбор диагностических данных с помощью центральной ЭВМ
Англо-Русский словарь по машиностроению и автоматизации производства 2
KNOWLEDGE SOURCE — набор правил и процедур для решения проблемы, набор правил и процедур для решения частной проблемы ( в искусственном интеллекте )
Англо-Русский словарь по машиностроению и автоматизации производства 2
DIAGNOSTIC LIBRARY — библиотека диагностических программ
Англо-Русский словарь по машиностроению и автоматизации производства 2
DIAGNOSTIC CODING — кодирование диагностических сообщений
Англо-Русский словарь по машиностроению и автоматизации производства 2
ON-LINE DIAGNOSTICS GATHERING — сбор диагностических данных с помощью центральной ЭВМ
Англо-Русский словарь по машиностроению и автоматизации производства
KNOWLEDGE SOURCE — набор правил и процедур для решения проблемы, набор правил и процедур для решения частной проблемы (в искусственном интеллекте)
Англо-Русский словарь по машиностроению и автоматизации производства
DIAGNOSTIC LIBRARY — библиотека диагностических программ
Англо-Русский словарь по машиностроению и автоматизации производства
DIAGNOSTIC CODING — кодирование диагностических сообщений
Англо-Русский словарь по машиностроению и автоматизации производства
TUBERCULIN — туберкулин (препарат для постановки аллергических диагностических проб)
Новый Англо-Русский медицинский словарь

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

← ВЕРИФИКАЦИЯ ДАННЫХ ВЕРИФИКАЦИЯ ПРОГРАММЫ→