-
101 программа независимой верификации проекта
Engineering: independent design verification programУниверсальный русско-английский словарь > программа независимой верификации проекта
-
102 программа основ проекта и проверки
Engineering: design baseline and verification programУниверсальный русско-английский словарь > программа основ проекта и проверки
-
103 DBVP
design baseline and verification program - программа основ проекта и проверки -
104 ICAVP
independent corrective action verification program - независимая программа верификации корректирующего мероприятия -
105 IDVP
independent design verification program - программа независимой верификации проекта -
106 NCVP
natural circulation verification program - программа верификации естественной циркуляции -
107 программа верификации УП
Русско-английский исловарь по машиностроению и автоматизации производства > программа верификации УП
-
108 программа проверки и оценки
Русско-английский глоссарий по космической технике > программа проверки и оценки
-
109 TVP
TVP, test verification program————————TVP, transit vehicle parkEnglish-Russian dictionary of planing, cross-planing and slotting machines > TVP
-
110 TVP
- программа по оценке технологии ветроэнергетических турбин, оборудованных системой регулирования реактивной мощности
программа по оценке технологии ветроэнергетических турбин, оборудованных системой регулирования реактивной мощности
(Электроэнергетического института и Министерства энергетики США)
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > TVP
-
111 DBVP
программа расчета проектных основ и верификации
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > DBVP
-
112 верификация программы
верификация программы
верификация
Доказательство того, что поведение программы соответствует спецификации на эту программу.
[ ГОСТ 19781-90]Тематики
- обеспеч. систем обраб. информ. программное
Синонимы
EN
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
5 Верификация программы - проверка (доказательство) логической непротиворечивости программы.
Русско-английский словарь нормативно-технической терминологии > верификация программы
-
113 режим контроля
-
114 мера контроля
Русско-английский военно-политический словарь > мера контроля
-
115 осуществление контроля
Русско-английский военно-политический словарь > осуществление контроля
-
116 верификация
Русско-английский словарь по информационным технологиям > верификация
-
117 результат верификации
Русско-английский словарь по информационным технологиям > результат верификации
-
118 режим контроля
Бизнес, юриспруденция. Русско-английский словарь > режим контроля
-
119 верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация (доказательство правильности) программы
-
120 верификация программ
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > верификация программ
См. также в других словарях:
verification program — tikrinimo programa statusas T sritis automatika atitikmenys: angl. verification program; verifier vok. Prüfer, m; Verifizierer, m rus. программа контроля, f; программа проверки, f pranc. programme de vérification, m; programme vérificateur, m … Automatikos terminų žodynas
Environmental Technology Verification Program — The Environmental Technology Verification (ETV) Program of the Environmental Protection Agency (EPA) in the United States develops testing protocols and verifies the performance of innovative environmental technologies that can address problems… … Wikipedia
retail site verification program — (RSVP) A data base that provides up to date information about facility and revenue performance at retail units operated by the Postal Service. The RSVP system is designed to support retail functions for USPS Headquarters, area offices, and… … Glossary of postal terms
Verification and Validation — Verification Validation is the process of checking that a product, service, or system meets specifications and that it fulfils its intended purpose. These are critical components of a quality management system such as ISO… … Wikipedia
Program Management Professional — (PgMP) is a certification in program management managed by the Project Management Institute in accordance with their published standard A Standard for Program Management . Eligibility Applicants with a bachelor s degree must have had four… … Wikipedia
Content Verification Program — VP YouTube’s own tool that allows copyright owners to easily find video materials that are infringing on their rights … Audio and video glossary
Verification and validation — IV V redirects here. For NASA s IV V Facility, see Independent Verification and Validation Facility. Verification and validation is the process of checking that a product, service, or system meets specifications and that it fulfills its intended… … Wikipedia
Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct … Wikipedia
Program analysis — For other uses, see Program analysis (disambiguation). In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and… … Wikipedia
Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program … Wikipedia
Program refinement — Data transformation/Source transformation Concepts metadata · data mapping data transformation · model transf … Wikipedia