Browsing Інформаційні технології. Безпека та зв'язок by Subject "ПО"
Now showing items 1-1 of 1
-
ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ
(ДВНЗ "НГУ" ТОВ "САЛВЕЙ", 2013)Обеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать ...