Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал: http://ir.nmu.org.ua/handle/123456789/1856
Повний запис метаданих
Поле DCЗначенняМова
dc.contributor.authorНещадым, В. А.
dc.contributor.authorЩевцова, О.С.
dc.date.accessioned2013-06-11T13:44:46Z
dc.date.available2013-06-11T13:44:46Z
dc.date.issued2013
dc.identifier.citationНещадым В.А. Исследование необходимости использования верификации программ / В. А. Нещадым, О. Г. Щевцова // V Всеукраїнська конференція "ІТБтаЗ" - 04 квітня 2013 р. – Дніпропетровськ : ДВНЗ "НГУ" ТОВ "САЛВЕЙ", 2013.
dc.identifier.urihttp://ir.nmu.org.ua/handle/123456789/1856
dc.description.abstractОбеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ.uk_UA
dc.language.isoruuk_UA
dc.publisherДВНЗ "НГУ" ТОВ "САЛВЕЙ"uk_UA
dc.subjectверификация программuk_UA
dc.subjectПОuk_UA
dc.subjectметод формальной верификациuk_UA
dc.titleИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММuk_UA
dc.typeArticleuk_UA
dc.identifier.udk004.415uk_UA
Розташовується у зібраннях:V Всеукраїнська конференція "ІТБтаЗ" - 04 квітня 2013 р.

Файли цього матеріалу:
Файл Опис РозмірФормат 
varification tools.pdf158,85 kBAdobe PDFЕскіз
Переглянути/Відкрити


Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.