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