-
1 assertion checker
блок контроля утверждений
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
верификатор условий
Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > assertion checker
-
2 assertion checker
eng.assertion checkerrus.условный верификаторukr.умовний веріфікаторПрограмма, анализирующая текст другой программы, снабженной условиями и операторами контроля, который должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.English-Russian dictionary of information security > assertion checker
-
3 assertion checker
syntax checker — блок синтаксического контроля; программа синтаксического контроля
English-Russian big polytechnic dictionary > assertion checker
-
4 assertion checker
блок проверки утверждений; ревизор утверждений -
5 assertion checker
Большой англо-русский и русско-английский словарь > assertion checker
-
6 assertion checker
1) Компьютерная техника: программа верификации2) Вычислительная техника: блок контроля утверждений, блок проверки утверждений, блок проверки утверждения, верификатор условий, ревизор утверждений (программная или аппаратная система)3) Робототехника: блок проверки утверждений (в СИИ) -
7 assertion checker
-
8 assertion checker
-
9 assertion checker
The New English-Russian Dictionary of Radio-electronics > assertion checker
-
10 assertion checker
блок проверки утверждений, ревизор утверждений ( программная или аппаратная система)English-Russian dictionary of computer science and programming > assertion checker
-
11 assertion checker
-
12 assertion checker
-
13 assertion checker
Англо-русский словарь компьютерных и интернет терминов > assertion checker
-
14 assertion checker
English-Russian dictionary of terms that are used in computer games > assertion checker
-
15 assertion checker
1) блок проверки утверждения; ревизор утверждений; блок контроля утверждений -
16 assertion checker
English-Russian dictionary of Information technology > assertion checker
-
17 assertion checker
English-Russian dictionary of computer science > assertion checker
-
18 assertion checker
-
19 checker
[̈ɪˈtʃekə]assertion checker вчт. программа верификации checker =chequer checker амер. шашка (в игре в шашки) checker =chequer chequer: chequer графить в клетку checker (обыкн. pl) клетчатая материя checker пестрить, разнообразить checker размещать в шахматном порядке checker pl шахматная доска (как вывеска гостиницы) checker pl амер. шашки (игра) design-rule checker вчт. программа нормоконтроля grammar checker вчт. программа граматического контроля spell checker вчт. программа проверки правописания spelling checker вчт. корректор style checker вчт. программа оценки стиля syntax checker вчт. программа синтаксического контроля -
20 checker
1) проверочное устройство, проверочный блок; средство или устройство контроля2) программа контроля, контролирующая программа•- codeword checker
- compatibility checker
- consistency checker
- design-rule checker
- duplication checker
- parity prediction checker
- parity checker
- spelling checker
- spell checker
- style checker
- syntactic checker
- syntax checker
- well-formedness checkerEnglish-Russian dictionary of computer science and programming > checker
- 1
- 2
См. также в других словарях:
Checker Book Publishing Group — Type Private Industry Publishers of Comics Reprints Founded 2000 by Mark Thompson, Ben Rangel Paul Dubuc … Wikipedia
Fact checker — A fact checker is the person who checks factual assertions in non fictional text, usually intended for publication in a periodical, to determine their veracity and correctness. The job requires general knowledge, but more important it requires… … Wikipedia
Java Modeling Language — The Java Modeling Language (JML) follows the design by contract paradigm. It is a specification language for Java programs, using . There are various verification tools for JML, such as a runtime assertion checker and the Extended Static Checker… … Wikipedia
блок контроля утверждений — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN assertion checker … Справочник технического переводчика
верификатор условий — Программа, анализирующая текст другой программы, снабженной условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях. [Домарев В.В. Безопасность… … Справочник технического переводчика
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
Sonny Boy Williamson II — Infobox Musical artist Name = Sonny Boy Williamson II Img capt = Background = solo singer Born = December 5 1899 or March 11 1908 Died = May 25 1965 Origin = Tallahatchie County, Mississippi USA flagicon|US Instrument = Vocals, Harmonica Genre =… … Wikipedia
John McCain presidential campaign, 2008 — John McCain for President 2008 Campaign U.S. presidential election, 2008 Candidate John McCain (President) U.S. Senator 1987–Present … Wikipedia
JML — Java Modeling Language Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les invariants.… … Wikipédia en Français
Java Modeling Language — Le Java Modeling Language (JML) est un langage de spécification pour Java, il est basé sur le paradigme de la programmation par contrat. Il utilise la logique de Hoare, les pré et postconditions ainsi que les invariants. Les spécifications sont… … Wikipédia en Français
Gunsmith — A gunsmith is a person who repairs, modifies, designs, or builds firearms to factory or customer specifications, using hand tools and machine shop tools (such as lathes, milling machines, and grinders).Gunsmiths may be employed in: *factories by… … Wikipedia
