|
|
|
|
|
|
|
|
|
Program verification
Глоссарий по металлорежущим станкам и металлообработке |
- Контроль программы; отработка программы
- Верификация программы; проверка правильности программы
|
Верификация программ, русский
Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нееожидается. еще - доказательство того, что поведение программы соответствует спецификации на эту программу (дсту 2873).
|
Program, венгерский
Program, английский
- A sequence of instructions expressed in some programming language. also see algorithm(2).
- Программа
- Программа (ряд взаимосвязанных мероприятий по осуществлению проекта)
- A statement prepared by or for an owner, with or without an architect’s assistance, program 767
- План, проект; программа ~ of work(s) проект производства работ
- A list of statements or instructions in a special purpose programming language that directs a computer to undertake a certain computing task (->algorithm). programs are needed because modern computers are essentially general purpose machines whose structure must be specified from the outside.
- A collective grouping of projects, usually including a common set of goals, plans and measurement of success, that is managed and delivered in a coordinated way. program
- A set of instructions that a computer or device uses to perform a specific task, such as word processing, accounting, or data management.
- An implementation of an algorithm.
Program, шведский
Program accessible, английский
С программным доступом
Program acronyms, abbreviations and definitions, английский
Program address, английский
Program addressable clock, английский
Часы с возможностью обращения из программы
Program analysis control and evaluation, английский
Управление анализом программ и их оценка
Program analysis for research management, английский
Аналитическая модель «парм» для перспективного планирования программ
Program analysis for resource management, английский
Аналитическая модель восстановления экономики страны после ракетно-ядерного нападения
Program anniversary date, английский
The calendar date which marks the enrollment of a partner into the microsoft partner program, including payment of any applicable membership fees.
Program area, английский
Программная область; программная зона
Program assembly language, английский
Program association table, английский
Program attention key, английский
Клавиша прерывания программы
Program attribute, английский
Атрибут программы
Program authorization, английский
Авторизация программы; разрешение на использование программы
Program autonomy, английский
Автономность программы
Program background, английский
Фон программы
Program bank, английский
Банк программ
Program behavior, английский
Поведение программы; реакция программы
Верификация, русский
- (от лат. verificare- доказать истину) один из исходных методов логического позитивизма, согласно которому истинность любого утверждения о действительности должна быть установлена в его сопоставлении с чувственными данными.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной
- Контроль, проверка, подтверждение.
- При проверке научных понятий – доказательство или иная убедительная демонстрация того, что явления, включенные в объем и содержание данного понятия, действительно существуют и соответствуют определению понятия. это же предполагает наличие методики опытной проверки явления, описываемого понятием. проверка выполняется посредством соответственной психодиагностической процедуры.
- (от лат . verus - истинный и facio - делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, чувственными данными, экспериментом. принцип верификации (или верифицируемости) - одно из основных понятий логического позитивизма.
- Проверка документов, расчетов и др.
- (от лат. verus – истинный и facio – делаю) – подтверждение. предположение (гипотеза) может быть верифицировано, т.е. его истинность может быть доказана как с помощью опыта, так и с помощью связного логического доказательства. неопозитивизм требует, чтобы предположение было верифицируемо в принципе, т.е. чтобы переживания, которые его подтверждают, или были налицо, или могли быть получены.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или их комплексов на надлежащее соответствие. еще - в программировании доказательство правильности программ. различают два подхода к верификации: статические и конструктивные методы. еще - процесс сопоставления двух уровней спецификаций системы (например, модели политики безопасности и спецификаций системы, спецификаций системы и исходных кодов, исходных кодов и выполняемых кодов) для установления необходимого 14 соответствия между ними. этот процесс может быть полностью или частично автоматизирован. верификация и подтверждение правильности [verification andvalidation (v & v)] - общий термин для обозначения полного набора проверок, которым подвергается система для получения гарантий ее соответствия своему назначению. в число таких проверок могут входить жесткий набор функциональных тестов, контроль пропускной способности, проверка надежности и т. д.
- Процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированных систем на надлежащее соответствие.
- Оценка правильности исходных данных для производства всех требований к будущему продукту, так и к его производству.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены.
- Подтверждение посредством представления объективных свидетельств того, что установленные требования были выполнены.
- Доказательство, подтверждение; понятие, употребляемое в методологии пауки для обозначения процесса установления истинности научных утверждений в результате их эмпирической проверки.
- Подтверждение на основе представления объективных свидетельств того, что установленные требования были выполнены. термин используется для обозначения соответствующего статуса. данная деятельность может включать проверку методов приемки объектов (проектов, продукции), этапов проектирования и производства, а также характеристик объектов для подтверждения выполнения требований
- Проверка, проверяемость, способ подтвер- ждения, проверка с помощью доказательств, каких-либо теорети- ческих положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) дан- ными, алгоритмами и программами. [10]. вид. в логике видом называется понятие, подчиненное более общему – роду и занимающее (по объему и содержанию) среднее место между родовым и индивидуальными понятиями. [61]. 19
|
Rising table broaching machine, английский
Протяжной станок с поднимающимся столом
Openside piano milling machine, английский
Одностоечный продольно-фрезерный станок
|
|
|
|
|
|
|