- обеспечение непротиворечивости данных
- data coherency control
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
обеспечение непротиворечивости данных — — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом EN data coherency control … Справочник технического переводчика
ГОСТ Р 51904-2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию — Терминология ГОСТ Р 51904 2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию оригинал документа: 3.1 алгоритм: Конечное множество четко определенных правил, которые задают последовательность действий … Словарь-справочник терминов нормативно-технической документации
MongoDB — Логотип MongoDB Тип Документо ориентированная СУБД Разработчик MongoDB Написа … Википедия
верификация — 02.02.03 верификация (символ) [verification]: Техническая процедура проверки, посредством которой производят измерения символа для определения его соответствия требованиям спецификации к этому символу. Источник … Словарь-справочник терминов нормативно-технической документации
ГОСТ Р 53394-2009: Интегрированная логистическая поддержка. Основные термины и определения — Терминология ГОСТ Р 53394 2009: Интегрированная логистическая поддержка. Основные термины и определения оригинал документа: Interactive Electronic Technical Publication 3.3.12 Определения термина из разных документов: Interactive Electronic… … Словарь-справочник терминов нормативно-технической документации
Законодательство — (Legislation) Содержание Содержание как комплекс нормативных актов Законодательство как деятельность по принятию Систематизация нормативных актов Правовая природа и основные характеристики понятия закон. . Основные признаки закона. .… … Энциклопедия инвестора
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
Верификация программы — 54. Верификация программы Верификация Program verification Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781 90: Обеспечение систем обработки информации программное. Термины и… … Словарь-справочник терминов нормативно-технической документации
ДВОЙНАЯ ИСТИНА — [двойственная истина, «двух истин» теория], термин, служащий для обозначения возникшего в средние века учения об одновременной истинности или взаимной независимости ряда положений философии и богословия, которые вступают в видимое противоречие… … Православная энциклопедия