Publication: ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ
Loading...
Date
Authors
Нещадым, В. А.
Щевцова, О.С.
Journal Title
Journal ISSN
Volume Title
Publisher
ДВНЗ "НГУ" ТОВ "САЛВЕЙ"
DOI
Abstract
Обеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ.
Description
Keywords
Citation
Нещадым В.А. Исследование необходимости использования верификации программ / В. А. Нещадым, О. Г. Щевцова // V Всеукраїнська конференція "ІТБтаЗ" - 04 квітня 2013 р. – Дніпропетровськ : ДВНЗ "НГУ" ТОВ "САЛВЕЙ", 2013.