Верифікація програми
👉 Визначення:
Верифікація програми (або Верификация программы) - Доведення того, щоповедінка програми відповідає специфікаціїна цюпрограму.
Верификация программы - Доказательство того, что поведение программы соответствует спецификации на эту программу.
Англійською термін перекладається, як 'Program verification'.
Верификация программы - Доказательство того, что поведение программы соответствует спецификации на эту программу.
Англійською термін перекладається, як 'Program verification'.
Референси:
"Верифікація програми або Верификация программы (англ.: Program verification)" згадується у нормативному документі ДСТУ 2873-94 ПРОГРАМУВАННЯ Термiни та. Теги: . Довжина тлумачення терміну: 205 символів.Додано: Переглядів: 785
Фразу додано 2016-12-10 та оновлено 2016-12-10. Відповідно: 0 днів тому.
FAQ
❔ Де джерело визначення Верифікація програми?
Термін "Верифікація програми" походить з нормативного документа ДСТУ 2873-94 ПРОГРАМУВАННЯ Термiни та.
❔ Чи є переклад на англійську?
"Верифікація програми" англійською буде Program verification.
❔ Яким чином зібрано цю інформацію?
Редакторський колектив сайту збирав інформацію про цей термін з відкритих джерел в мережі інтернет та в нормативній літературі декілька днів тому. На сторінці ви знайдете вказівки на джерело.
Термін Верифікація програми відноситься до категорії літера "В", згадується у документі ДСТУ 2873-94 ПРОГРАМУВАННЯ Термiни та. На англійську мову Верифікація програми перекладається, як 'Program verification'.
Ключові слова сторінки: .