• ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ 

      Нещадым, Валентин Андреевич; Шевцова, О.С. (ДВНЗ "НГУ" ТОВ "САЛВЕЙ", 2013)
      Обеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать ...