Software verification - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция

Software verification - перевод на русский, синонимы, антонимы, примеры в контексте
проверка программного обеспечения
Translate

- software [noun]

noun: программное обеспечение, программные системы, программы для компьютера

  • boot software - загрузки программного обеспечения

  • enterprise software development - Разработка программного обеспечения для предприятий

  • software developers - разработчики программного обеспечения

  • machine software - программное обеспечение машины

  • in-house software - в доме программного обеспечения

  • practical software - практическое программное обеспечение

  • supplying software - поставки программного обеспечения

  • software which - программное обеспечение, которое

  • hardware and software features - аппаратное и программное обеспечение

  • defects in software - дефекты в программном обеспечении

  • Синонимы к software: software system, package, computer software, software package

    Антонимы к software: computer hardware, hardware, ironware, chaos, disarray, disorder, disorganization, mayhem, mess, microchip

    Значение software: the programs and other operating information used by a computer.

- verification [noun]

noun: проверка, подтверждение, контроль, засвидетельствование



Synopsys has three divisions including silicon design and verification, silicon intellectual property, and software integrity.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Synopsys имеет три подразделения, включая проектирование и верификацию кремния, интеллектуальную собственность кремния и целостность программного обеспечения.

And, the products mentioned in the definition of verification, are the output artifacts of every phase of the software development process.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Кроме того, продукты, упомянутые в определении верификации, являются выходными артефактами каждой фазы процесса разработки программного обеспечения.

Good software should provide verification of data removal, which is necessary for meeting certain standards.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Хорошее программное обеспечение должно обеспечивать проверку удаления данных, что необходимо для соблюдения определенных стандартов.

These built models used with simulation tools can lead to rapid prototyping, software testing, and verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Эти построенные модели, используемые с инструментами моделирования, могут привести к быстрому прототипированию, тестированию программного обеспечения и проверке.

Another method to ensure the integrity of electronic voting machines is independent software verification and certification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Есть общие очки навыков, которые можно заработать в течение любого отдельного уровня, и некоторые из них специфичны для определенных уровней игры.

At present, formal verification is used by most or all leading hardware companies, but its use in the software industry is still languishing.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В настоящее время формальная верификация используется большинством или всеми ведущими аппаратными компаниями, но ее применение в индустрии программного обеспечения все еще находится в зачаточном состоянии.

Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Формальная верификация программ предполагает доказательство того, что программа удовлетворяет формальной спецификации своего поведения.

Oedipus sought verification of the messenger's story from the very same herdsman who was supposed to have left Oedipus to die as a baby.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Эдип искал подтверждения рассказу гонца у того самого пастуха, который, как предполагалось, оставил Эдипа умирать младенцем.

In February 1989, the Presidents called upon the United Nations to become involved in the verification of those agreements.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В феврале 1989 года президенты этих стран призвали Организацию Объединенных Наций подключиться к контролю за осуществлением указанных соглашений.

See the fips documentation for a list of other software that may do the trick.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Смотрите в документации к fips список других программ, которые делают тоже самое.

And, of course, everybody wanted the resulting verification system to provide the highest degree of effectiveness and efficiency...

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Ну и разумеется, все хотели, чтобы результирующая система проверки обеспечивала высочайшую степень эффективности и действенности...

Software licence protection was not enforced everywhere.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Ни одна из организаций не принимает меры по обеспечению охраны лицензий на программные средства.

Work involves completing routine tasks/activities which may require verification and some choice of action among well-established alternatives.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Работа заключается в выполнении повторяющихся заданий/видов деятельности, требующих сверки и в некоторой мере выбора определенного порядка действий из хорошо знакомого набора альтернативных вариантов.

That architecture should also allow for subnational implementation subject to strict monitoring, verification and national accounting.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Такая структура должна также предусматривать осуществление деятельности на субнациональном уровне при условии, однако, строгого контроля и проверки и национального учета.

If you no longer want to use two-step verification, you can easily turn it off.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если двухшаговая проверка больше не нужна, ее можно выключить.

see what happened is, 15 years ago, if you wanted to use a computer, the only way you could do it was to, was with proprietary software, software that divides and subjugates the users.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Что было, если 15 лет назад, Вы хотели использовать компьютер. Единственным вариантом было использовать проприетарное ПО, которое разделяет и подчиняет пользователей.

Well, I hope you'll forgive the intrusion - but even that is gonna need verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я надеюсь, вы простите мою навязчивость но даже это потребует доказательства.

Someone must've overwritten the factory software.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Кто-то должен был переписать заводскую программу.

Oh I'm sorry Mr. Luthor, there seems to be a problem with your voice verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

О, мне жаль, г. Лутор. Кажется, возникла проблема с проверкой вашего голоса.

the ultimate verification of my existence.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Полное подтверждение моего бытия.

I mean, Molly kept them as psychological verification of all the terrible things that she thought about herself.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Молли хранила их как психологическое доказательство всех ужасных вещей, которые она думала о себе.

Like age limits and age verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Типа ограничения по возрасту и документального подтверждения возраста

We need a minute for the verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Нужна минута, чтобы проверить.

And it's running on state-of-the-art NeXT hardware and software.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

И он работает на современном компьютере NeXT.

Chin, run age progression software on that photograph, please.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Чин, запусти возрастную программу на этом фото, пожалуйста.

This is the Lasker Parkes, world-renowned software mogul, and this is his birthplace.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Это Ласкер Паркес, всемирно известный магнат программного обеспечения,и это его Родина.

Also see if that fancy new face-recognition software gets us anything.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Заодно посмотрите, может эта новомодная распознавалка лиц что-нибудь даст.

as well as trading in illegal software.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

а также торговле нелегальным программным обеспечением.

It's where most of the software programmers are based.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Это где большинство программистов.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

Because of the difficulty of the astrophysical measurement, however, experimental verification using a known terrestrial source was preferable.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Однако из-за сложности астрофизических измерений предпочтительнее было провести экспериментальную проверку с использованием известного наземного источника.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

Such tests can be used as build verification test.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Такие тесты можно использовать в качестве теста проверки сборки.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

Special EDT phenomena and verification of the EDT system model using experimental mission data will then be discussed.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Затем будут рассмотрены специальные явления ЭДТ и верификация модели системы ЭДТ с использованием экспериментальных данных миссии.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

The second question should get a reply with a link to either our deletion policy, or to our policy page for verificability.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Второй вопрос должен получить ответ со ссылкой либо на нашу политику удаления, либо на нашу страницу политики для проверки.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

This section presents functions commonly used in this role, but not the verifications that these functions have the required properties.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В этом разделе представлены функции, обычно используемые в этой роли, но не проверки того, что эти функции имеют требуемые свойства.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

I have been unable to find any verification of that allegation.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я не смог найти никакого подтверждения этому утверждению.

It is made so that the students of the school who partake in the skiing camp of the school need no verification of absence.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Это сделано так,что учащиеся школы, которые принимают участие в лыжном лагере школы, не нуждаются в проверке отсутствия.

Motion platforms are commonly used in the field of engineering for analysis and verification of vehicle performance and design.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Адрес электронной почты, как и домен или IP-адрес, требует процесса разогрева, прежде чем его можно будет использовать для отправки холодных кампаний по электронной почте.

Its results were sent to a central server for verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Его результаты были отправлены на центральный сервер для проверки.

Not long after, Adam Stubblefield and AT&T publicly announced the first verification of the attack.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Вскоре после этого Адам Стабблфилд и AT&T публично объявили о первой проверке атаки.

This provides some verification that the card was delivered to the actual cardholder.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Это обеспечивает некоторую проверку того, что карта была доставлена фактическому владельцу карты.

And his falsificationism, as did verificationism, poses a criterion, falsifiability, to ensure that empiricism anchors scientific theory.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

И его фальсификационизм, как и верификационизм, ставит критерий фальсифицируемости, чтобы гарантировать, что эмпиризм закрепляет научную теорию.

If Gotham City has directly been stated to be in New Jersey proper, then give the issue number for outside verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если Готэм-сити прямо был заявлен как находящийся в самом Нью-Джерси, то дайте номер выпуска для внешней проверки.



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «software verification». А именно, здесь можно найти перевод (значение) «software verification» на русском языке, синонимы, антонимы, краткое определение слов: software, verification , а также произношение и транскрипцию к «software verification». Также, к фразе «software verification» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information