верификатор
11ГОСТ Р ИСО/МЭК 15426-1-2002: Автоматическая идентификация. Кодирование штриховое. Верификатор линейных символов штрихового кода. Требования соответствия — Терминология ГОСТ Р ИСО/МЭК 15426 1 2002: Автоматическая идентификация. Кодирование штриховое. Верификатор линейных символов штрихового кода. Требования соответствия оригинал документа: 4.1 первичный эталонный тестовый символ ( primary reference… …
Словарь-справочник терминов нормативно-технической документации
12автоматический верификатор — Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем. [http://www.morepc.ru/dict/] Тематики информационные технологии в целом EN mechanical verifier …
13Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …
14SRP — Secure Remote Password Protocol (SRPP)  протокол парольной аутентификации, устойчивый к прослушиванию и MITM атаке и не требующий третьей доверенной стороны. SRP содержит некоторые элементы из других протоколов обмена ключами и идентификации …
15ГОСТ Р ИСО/МЭК 19762-2-2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) — Терминология ГОСТ Р ИСО/МЭК 19762 2 2011: Информационные технологии. Технологии автоматической идентификации и сбора данных (АИСД). Гармонизированный словарь. Часть 2. Оптические носители данных (ОНД) оригинал документа: 04.02.13 ( n, k)… …
Словарь-справочник терминов нормативно-технической документации
16/МЭК 15426-1 — ГОСТ Р ИСО/МЭК 15426 1{ 2002} Автоматическая идентификация. Кодирование штриховое. Верификатор линейных символов штрихового кода. Требования соответствия. ОКС: 35.040 КГС: П85 Виды представления информации и математическое обеспечение машин… …
17Формальные методы — Пример формальной спецификации с использованием Z нотации В информатике и инженерии программного обеспечения формальными методами называется группа техник, основанных на математическом аппарате для …
18первичный эталонный тестовый символ ( primary reference test symbol) — 4.1 первичный эталонный тестовый символ ( primary reference test symbol): Символ штрихового кода, предназначенный для оценки точности верификаторов штрихового кода и изготовленный с жесткими допусками, которые не менее чем в десять раз меньше… …
Словарь-справочник терминов нормативно-технической документации
19ГОСТ 30721-2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения — Терминология ГОСТ 30721 2000: Автоматическая идентификация. Кодирование штриховое. Термины и определения оригинал документа: (n, k) символика : Класс символик штрихового кода, в которых ширина каждого знака символа представлена в n модулях, а сам …
Словарь-справочник терминов нормативно-технической документации
20Java — Иное название этого понятия  «Ява»; см. также другие значения. Не следует путать с JavaScript. Java Класс языка …