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