FORMAL PROGRAM VALIDATION

Англо-русский перевод FORMAL PROGRAM VALIDATION

формальное доказательство правильности программы

Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005

FORMAL PROGRAM VALIDATION — формальное доказательство правильности программы
Большой Англо-Русский словарь
FORMAL PROGRAM VALIDATION — формальное доказательство правильности программы
Англо-Русский словарь по компьютерам
FORMAL PROGRAM VALIDATION — формальное доказательство правильности программы
Англо-Русский словарь компьютерных терминов
FORMAL PROGRAM VALIDATION — формальное доказательство правильности программы
Новый большой Англо-Русский словарь
VALIDATION — n validation (= act of rendering valid)
Interlingua English vocab
FORMAL — adj formal
Interlingua English vocab
VALIDATION — noun Date: circa 1656 an act, process, or instance of validating
Толковый словарь английского языка - Merriam Webster
PROGRAM — [c mediumvioletred] (as used in expressions) Point Four Program regional development program {{link=stored program concept">stored program concept
Английский словарь Британика
PROGRAM — I. ˈprōˌgram, -raam, -ōgrəm noun or pro·gramme -ˌgram ( -s ) Etymology: in sense 1, from Late Latin programma, from …
Webster's New International English Dictionary
FORMAL
Webster's New International English Dictionary
VALIDATION — ˌvaləˈdāshən noun ( -s ) Etymology: validate + -ion : an act, process, or instance of validating meeting to discuss …
Webster's New International English Dictionary
VALIDATION — (n.) The act of giving validity.
Английский словарь Webster
FORMAL — (a.) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal courtesy, etc.
Английский словарь Webster
FORMAL — (a.) Devoted to, or done in accordance with, forms or rules; punctilious; regular; orderly; methodical; of a prescribed form; exact; …
Английский словарь Webster
FORMAL — (a.) Done in due form, or with solemnity; according to regular method; not incidental, sudden or irregular; express; as, he …
Английский словарь Webster
VALIDATION — ( n. ) The act of giving validity.
Webster's Revised Unabridged English Dictionary
FORMAL — ( a. ) Having the form or appearance without the substance or essence; external; as, formal duty; formal worship; formal …
Webster's Revised Unabridged English Dictionary
PROGRAM — /proh"gram, -greuhm/ , n. , v. , programmed or programed, programming or programing . n. 1. a plan of action …
Random House Webster's Unabridged English Dictionary
FORMAL — formal 1 — formalness , n. /fawr"meuhl/ , adj. 1. being in accordance with the usual requirements, customs, etc.; conventional: …
Random House Webster's Unabridged English Dictionary
VALIDATION — n. giving of legal authority; checking of a program in order to ensure that it works without malfunctions (Computers)
Толковый словарь английского языка - Редакция bed
PROGRAM — I. ˈprō-ˌgram, -grəm noun Etymology: French programme agenda, public notice, from Greek programma, from prographein to write before, from pro- …
Merriam-Webster's Collegiate English vocabulary
FORMAL — I. ˈfȯr-məl adjective Etymology: Middle English, from Latin formalis, from forma Date: 14th century 1. a. : belonging to or …
Merriam-Webster's Collegiate English vocabulary
VALIDATION — noun Date: circa 1656 : an act, process, or instance of validating ; especially : the determination of the degree …
Merriam-Webster's Collegiate English vocabulary
VALIDATION — noun the act of giving validity.
Webster English vocab
FORMAL — adj sound; normal. 2. formal ·adj dependent in form; conventional. 3. formal ·noun ·see methylal. 4. formal ·adj belonging to …
Webster English vocab
VALIDATION — [val.i.da.tion] n (ca. 1656): an act, process, or instance of validating; esp: the determination of the degree of validity of …
Merriam-Webster English vocab
PROGRAM — [pro.gram] n [F programme agenda, public notice, fr. Gk programma, fr. prographein to write before, fr. pro- before + graphein …
Merriam-Webster English vocab
FORMAL — [for.mal] adj [ME, fr. MF or L; MF, fr. L formalis, fr. forma] (14c) 1 a: belonging to or constituting …
Merriam-Webster English vocab
VALIDATION — validation BrE AmE ˌvæl ɪ ˈdeɪʃ ə n -ə- ▷ validation|s z
Longman Pronunciation English Dictionary
PROGRAM — program BrE AmE ˈprəʊ ɡræm § -ɡrəm AmE ˈproʊ- ▷ program|ed, ~med d ▷ program|ing, ~ming ɪŋ ▷ program|s z …
Longman Pronunciation English Dictionary
VALIDATION — ➡ validate
Oxford Advanced Learner's English Dictionary
PROGRAM — / ˈprəʊgræm; NAmE ˈproʊ-/ noun , verb ■ noun 1. ( computing ) a set of instructions in code that …
Oxford Advanced Learner's English Dictionary
FORMAL — / ˈfɔːml; NAmE ˈfɔːrml/ adjective 1. ( of a style of dress, speech, writing, behaviour, etc. ) very correct and …
Oxford Advanced Learner's English Dictionary
PROGRAM — I. pro ‧ gram 1 W1 /ˈprəʊɡræm $ ˈproʊ-/ BrE AmE noun [countable] [ Date: 1600-1700 ; Language: French ; …
Longman Dictionary of Contemporary English
FORMAL — I. form ‧ al 1 S2 W2 /ˈfɔːm ə l $ ˈfɔːr-/ BrE AmE adjective [ Word Family: noun : …
Longman Dictionary of Contemporary English
FORMAL — adj. & n. --adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Английский основной разговорный словарь
FORMAL — adj. & n. adj. 1 used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Concise Oxford English Dictionary
FORMAL — adj. & n. --adj. 1. used or done or held in accordance with rules, convention, or ceremony (formal dress; a …
Oxford English vocab
PROGRAM — ( programs, programming, programmed) Frequency: The word is one of the 1500 most common words in English. 1. A program …
Collins COBUILD Advanced Learner's English Dictionary
FORMAL — ( formals) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour …
Collins COBUILD Advanced Learner's English Dictionary
FORMAL — (~s) Frequency: The word is one of the 1500 most common words in English. 1. Formal speech or behaviour is …
Collins COBUILD - Толковый словарь английского языка для изучающих язык
PROGRAM — I. noun COLLOCATIONS FROM OTHER ENTRIES a computer program (= a set of instructions stored inside a computer ) ▪ …
Longman DOCE5 Extras English vocabulary
FORMAL — I. adjective COLLOCATIONS FROM OTHER ENTRIES a formal announcement ▪ A formal announcement will be made in Parliament. a formal …
Longman DOCE5 Extras English vocabulary
VALIDATION — [noun] [U]External validation of the teachers' assessments is recommended.The investigators have focused on the company's validation procedures for its drugs, …
Cambridge English vocab
PROGRAM — n. Point Four Program program computer regional development program stored program concept
Britannica Concise Encyclopedia
PROGRAM — Synonyms and related words : Beveridge Plan, Cultural Revolution, Fair Deal, Great Society, Marshall Plan, New Deal, New Frontier, Philharmonic …
Moby Thesaurus English vocabulary
PROGRAM — noun 1 set of instructions for a computer ADJECTIVE ▪ computer , software ▪ analysis , database , design , …
Oxford Collocations English Dictionary
FORMAL — n. 25B6; adjective a formal dinner : CEREMONIAL, ceremonious, ritualistic, ritual, conventional, traditional; stately, courtly, solemn, dignified; elaborate, ornate, dressy. …
Concise Oxford Thesaurus English vocabulary
FORMAL — 1. FORmula MAnipulation Language. An early Fortran extension for symbolic mathematics . ["FORMAL, A Formula Manipulation Language", C.K. Mesztenyi, Computer …
FOLDOC Computer English Dictionary
FORMAL — adj. 1 standard, conventional, customary, established, prescribed, regular, normal, correct, proper; strict, formulaic, inflexible, punctilious, exacting, unchanging, methodical, orderly, systematic, …
Oxford Thesaurus English vocab
VALIDATION — Validation first removes part of the data(test dataset) and then uses the rest of the data(training dataset) to develop the …
Sean Woo's Finance, GIS and Real Estate English Glossary
VALIDATION — сущ. 1) ратификация, утверждение Syn : ratification 2) легализация; придание законной силы преим. (юридическое) утверждение; ратификация придание законной силы; легализация …
Большой Англо-Русский словарь
PROGRAM — 1. сущ. 1) программа а) проект; план действий to carry out programme, to implement a programme ≈ осуществлять/претворять в жизнь …
Большой Англо-Русский словарь
FORMAL — прил. 1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) мат., лог. строгий, формальный (о максимально точном и выразительном …
Большой Англо-Русский словарь
VALIDATION — validation.ogg ͵vælıʹdeıʃ(ə)n n преим. юр. 1. утверждение; ратификация 2. придание законной силы; легализация 3. подтверждение ( информации ) validation procedure …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
FORMAL — formal.ogg 1. ʹfɔ:m(ə)l n амер. разг. 1. pl = formal dress 2. мероприятие, на котором участники должны быть в вечерних …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
VALIDATION — 1) проверка достоверности; подтверждение правильности 2) аттестация 3) приёмочные испытания 4) ратификация • - data validation
Большой Англо-Русский политехнический словарь
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана …
Большой Англо-Русский политехнический словарь
VALIDATION — 1) проверка достоверности; подтверждение правильности 2) аттестация 3) приёмочные испытания 4) ратификация • - data validation
Большой Англо-Русский политехнический словарь - РУССО
PROGRAM — 1) программа || программировать, составлять [подготавливать] программу; разрабатывать программу || программный 2) план; программа; проект 3) осуществление программы, проекта, плана • to launch a …
Большой Англо-Русский политехнический словарь - РУССО
VALIDATION — 1) компьют. аттестация 2) подтверждение 3) признание выборки беспристрастной • - cross validation - experimental validation - formal validation - model validation - validation criterion - validation procedure - validation …
Англо-Русский научно-технический словарь
PROGRAM — 1) операция 2) программа 3) программировать 4) программный 5) разработка • application-specific program package — компьют. пакет прикладных программ applications program RAM — компьют. память програмная dual liner …
Англо-Русский научно-технический словарь
FORMAL — formal прил.1) а) относящийся к внешней стороне (вопроса, проблемы), формальный б) матем., логика строгий, формальный (о максимально точном и выразительном …
Англо-Русский словарь Tiger
VALIDATION — n преим. юр. 1. утверждение; ратификация 2. придание законной силы; легализация 3. подтверждение ( информации ) validation procedure - метод …
Большой новый Англо-Русский словарь

Англо-Русский словарь по вычислительной технике и программированию

← FORMAL PROGRAM PROOF FORMAL PROOF→