-
1 test verification program
TVP, test verification programEnglish-Russian dictionary of planing, cross-planing and slotting machines > test verification program
-
2 Turbine Verification Program
- программа по оценке технологии ветроэнергетических турбин, оборудованных системой регулирования реактивной мощности
программа по оценке технологии ветроэнергетических турбин, оборудованных системой регулирования реактивной мощности
(Электроэнергетического института и Министерства энергетики США)
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > Turbine Verification Program
-
3 design baseline and verification program
программа расчета проектных основ и верификации
—
[А.С.Гольдберг. Англо-русский энергетический словарь. 2006 г.]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > design baseline and verification program
-
4 NC verification program
Автоматика: программа верификации УПУниверсальный англо-русский словарь > NC verification program
-
5 design baseline and verification program
Техника: программа основ проекта и проверкиУниверсальный англо-русский словарь > design baseline and verification program
-
6 independent corrective action verification program
Универсальный англо-русский словарь > independent corrective action verification program
-
7 independent design verification program
Универсальный англо-русский словарь > independent design verification program
-
8 natural circulation verification program
Универсальный англо-русский словарь > natural circulation verification program
-
9 test verification program
Военный термин: программа контроля за проведением испытанийУниверсальный англо-русский словарь > test verification program
-
10 NC verification program
English-Russian dictionary of mechanical engineering and automation > NC verification program
-
11 software validation and verification program
English-Russian glossary on space technology > software validation and verification program
-
12 quality verification program
The English-Russian dictionary on reliability and quality control > quality verification program
-
13 verification
2) поверка•-
busy verification
-
compatibility verification
-
compulsory verification
-
data verification
-
design verification
-
exceptional verification
-
forecast verification
-
internal verification
-
mandatory verification
-
optional verification
-
program verification
-
real-time verification
-
speaker verification
-
timing verification
-
visual verification -
14 verification
контроль; проверка; верификация; проверка полномочий (напр., доступа к данным)- data verification
- data-path verification
- design verification
- diagnostic verification
- fault verification
- functional verification
- gate-level verification
- machine verification
- mechanical verification
- model verification
- probabilistic verification
- program verification
- timing verification
- visual verificationEnglish-Russian dictionary of computer science and programming > verification
-
15 program
программа; управляющая программа, УП || программировать; готовить УП- 3D machining programto download programs to individual machine controls — вводить УП ( из центральной ЭВМ системы) в УЧПУ отдельных станков
- absolute program
- ACC programs
- analysis programs
- application design automation program
- APT program
- APT source program
- assembly language program
- assembly program
- automated data preparation evaluation program
- automatic NC machining data generation programs
- automatic offset program
- auxiliary program
- axis driver scaling program
- basic control program
- BCL program
- benchmark program
- bureau computer program
- CAD program
- CAD/NC programs
- CAM-generated program
- canned generic NC program
- canned program
- cellular conversion program
- channel program
- circuit analysis program
- CNC inspection program
- CNC program
- CNC turning-center program
- collision-free program
- communication control program
- communications control program
- companion program
- compensation program
- complex tooling cost program
- component program
- computer program
- computer-aided design and evaluation program
- computer-stored part program
- consultation program
- contingency program
- continuous NC program
- contour milling program
- control I/O program
- control program
- control-resident program
- conversational program
- coolant-dispensing program
- cutter path program
- cutting program
- data editor program
- data fetch program
- data I/O program
- DCS program
- declarative program
- dexel program
- diagnosis program
- diagnostic program
- DMIS program
- DNC programs
- DOS program
- download program
- draft program
- edited program
- error-correcting program
- ESPRIT program
- evaluation program
- execute program
- executive program
- extension program
- externally generated program
- family program
- fault diagnosis program
- finished program
- finite-element program
- fixture-building program
- Fortran-based program
- functions program
- general program
- general-purpose program
- geometric modeling program
- goal-oriented program
- graphics program
- grinding program
- grinding wheel wear compensation program
- hard program
- hardwired program
- high priority program
- higher priority program
- ICAM programs
- implementation program
- incremental program
- initial loading program
- inspection program
- integer program
- interface program
- interpretative program
- interpreter program
- interpretive program
- jaw change program
- ladder logic program
- logic program
- low priority program
- lower priority program
- machine cutting program
- machine program
- machine tool program
- machining program
- main program
- maintenance programs
- malfunction analysis program
- management program
- manipulator-level program
- master program
- master software program
- MDI program
- measuring machine program
- mirror program
- MMS programs
- mode control program
- modeling program
- modified program
- monitoring program
- MS program
- MS-DOS programs
- multisequence program
- NC data generation programs
- NC program
- NC tape program
- NC verification program
- nonresident diagnostic program
- nonresident diagnostics program
- numerical control program
- numerically intensive program
- occupational health program
- occupational safety program
- off-line diagnostic program
- one-to-one program
- operator-activated program
- optimizing program
- order-picking program
- palletizing program
- part inspection program
- part program
- part-family program
- part-plan program
- pass through program
- path calculation program
- PC vision programs
- peripheral support program
- pilot program
- plain language program
- plugboard program
- postprocessor programs
- preprepared program
- preselected program
- preset program
- priority program
- production program
- proved program
- proven part program
- punched tape program
- quality programs
- read-in program
- refining program
- requesting part program
- returning control program
- reverse program
- robot control program
- robot execution program
- robot program
- rule-based program
- running program
- scaling program
- scheduling program
- sequential program
- service program
- simulation program
- SMSG program
- software control programs
- software programs
- source program
- SPC program
- spreadsheet program
- spreadsheet-based program
- standard machining program
- standard program
- stored program
- stress analysis program
- structural optimization program
- swarf-clearing program
- system program
- system's executive program
- tape program
- task program
- task-level program
- teaching operations function program
- temporary diagnostic program
- test program
- testing program
- thread program
- three-dimensional surface program
- time program
- tolerancing program
- tool animation program
- tool management program
- tooling program
- tool-plan program
- tool-setting program
- tool-tracking program
- tracing program
- trajectory translator program
- turnkey programs
- type-related program
- unproved program
- upload program
- up-to-date program
- user friendly program
- user I/O program
- user-extension program
- user-written program
- utility program
- vehicular behavior analysis program
- work program
- working program
- workpiece program
- workstation programEnglish-Russian dictionary of mechanical engineering and automation > program
-
16 program
программа, программировать, составлять программу, программный, производственная программа, план
– program acceleration
– program block
– program check
– program control
– program control unit
– program controller
– program crash
– program dump
– program error
– program execution
– program execution time
– program failure
– program flow
– program fork
– program generator
– program halt
– program halting
– program interpreter
– program interrupt
– program kernel
– program length
– program library
– program line
– program listing
– program load
– program location
– program loop
– program material
– program medium
– program model
– program module
– program name
– program package
– program panel
– program pass
– program product
– program register
– program ring
– program section
– program segmentation
– program selection
– program servoing
– program sheet
– program size
– program specification
– program speed
– program start
– program statement
– program step
– program stepping
– program stop
– program string
– program support
– program suspension
– program switching
– program synthesis
– program system
– program tape
– program termination
– program test
– program tester
– program trace
– program trajectory
– program transformer
– program translation
– program transmitter
– program unit
– program verification
– program-controlled robot
– program-error interrupt
– program-sensitive malfunction
-
17 program verification
- проверка правильности программы
- верификация программы
- верификация программ
- верификация (доказательство правильности) программы
верификация (доказательство правильности) программы
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
верификация программ
1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается.
2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873).
[Домарев В.В. Безопасность информационных технологий. Системный подход.]Тематики
EN
верификация программы
верификация
Доказательство того, что поведение программы соответствует спецификации на эту программу.
[ ГОСТ 19781-90]Тематики
- обеспеч. систем обраб. информ. программное
Синонимы
EN
проверка правильности программы
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
EN
Верификация
Program verification
Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник: ГОСТ 19781-90: Обеспечение систем обработки информации программное. Термины и определения оригинал документа
Англо-русский словарь нормативно-технической терминологии > program verification
-
18 verification
1) проверка; поверка; контроль2) верификация, подтверждение корректности ( программы)•verification by sampling — выборочная поверка, выборочная проверка
verification in-process — контроль в процессе производства, контроль в процессе изготовления
- diametrical verificationverification in-product — контроль изделия, контроль готового изделия
- dimensional verification
- graphic program verification
- initial verification
- longitudinal verification
- NC verification
- NC-code verification
- off-machine program verification
- optional verification
- periodic verification
- quality verification
- sampling verification
- sequence-by-sequence verification
- solid verification
- state verification
- subsequent verification
- tool verification
- tool-path verification
- transverse verification
- verification of leveling of slideways
- verification of measuring instruments
- verification of parallelism of the pulling chuck hole axis to its movement
- verification of tool identity
- workpiece verificationEnglish-Russian dictionary of mechanical engineering and automation > verification
-
19 verification
[ˌverɪfɪˈkeɪʃən]corporate tax verification проверка правильности уплаты налога с доходов компании data verification вчт. верификация данных financial verification финансовая проверка keystroke verification вчт. проверка путем нажатия клавиш keystroke verification вчт. проверка путем нажатия кнопок program verification вчт. верификация программы speech verification comp. верификация речевых сигналов speech verification comp. проверка правильности речевых сигналов tax verification проверка правильности уплаты налогов verification доказывание обоснованности verification доказывание правильности verification заверка, засвидетельствование verification юр. засвидетельствование verification засвидетельствование verification исследование verification контроль verification обоснование verification поверка verification подтверждение (предсказания, сомнения) verification подтверждение, подтверждение под присягой verification проверка verification проверка verification ревизия verification сверка verification удостоверение verification установление подлинности verification and validation испытания verification of credentials проверка удостоверения личности verification of gross profit on sales проверка торговой валовой прибыли verification of stamp duty проверка гербового сбора -
20 program verification
English-Russian big polytechnic dictionary > program verification
См. также в других словарях:
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