Верифікація програми

👉 Визначення:

Верифікація програми (або Верификация программы) - Доведення того, щоповедінка програми відповідає специфікаціїна цюпрограму.

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

Англійською термін перекладається, як 'Program verification'.

Референси:

"Верифікація програми або Верификация программы (англ.: Program verification)" згадується у нормативному документі ДСТУ 2873-94 ПРОГРАМУВАННЯ Термiни та. Теги: доведення, Верифікація програми, верифікація, дсту 2873-94, Верификация программы. Довжина тлумачення терміну: 205 символів.
 › 
Просмотров: 609 | | Рейтинг: 0.0/0
Фразу додано 2016-12-10 та оновлено . Відповідно пройшло днів - 0.

❔ Де згадується Верифікація програми?

"Верифікація програми" згадується у нормативному документі ДСТУ 2873-94 ПРОГРАМУВАННЯ Термiни та.

❔ Чи є переклад на англійську?

"Верифікація програми" англійською буде Program verification.

❔ Яким чином зібрано цю інформацію?

Редакторський колектив сайту збирав інформацію про "Верифікація програми" з відкритих джерел в мережі інтернет та в нормативній літературі. На сторінці ви знайдете вказівки на джерело.

Термін Верифікація програми відноситься до категорії літера "В", згадується у документі ДСТУ 2873-94 ПРОГРАМУВАННЯ Термiни та. На англійську мову Верифікація програми перекладається, як 'Program verification'.

Ключові слова сторінки: доведення, Верифікація програми, верифікація, дсту 2873-94, Верификация программы.

У "словнику будівельника" є такий термін: Навчальний кабінет (або кабінет навчальний)
класна кімната закладу зі створеним навчальним середовищем, оснащеним сучасними засобами навчання та шкільним обладнанням (Положення про навчальні кабінети загальноосвітніх навчаль...

👉Суміжні терміни

Також прогляньте схожі технічні визначення з ДСТУ 2873-94 ПРОГРАМУВАННЯ Термiни та:

👉Абетка Термінів

А [739]
Б [652]
В [1645]
Г [724]
Д [950]
Е [526]
Є [29]
Ж [77]
З [1158]
І [385]
К [1944]
Л [487]
М [981]
Н [978]
О [958]
П [2758]
Р [1115]
С [1900]
Т [1162]
У [309]
Ф [590]
Х [206]
Ц [160]
Ч [230]
Ш [323]
Щ [38]
Ю [42]
Я [46]

👉Додаткова інформація: