DSpace JSPUI
DSpace зберігає і дозволяє легкий і відкритий доступ до всіх видів цифрового контенту, включаючи текст, зображення, анімовані зображення, MPEG і набори даних
Дізнатися більше
Будь ласка, використовуйте цей ідентифікатор, щоб цитувати або посилатися на цей матеріал:
http://ir.nmu.org.ua/handle/123456789/1856| Назва: | ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ |
| Автори: | Нещадым, В. А. Щевцова, О.С. |
| Ключові слова: | верификация программ;ПО;метод формальной верификаци |
| Дата публікації: | 2013 |
| Видавництво: | ДВНЗ "НГУ" ТОВ "САЛВЕЙ" |
| Бібліографічний опис: | Нещадым В.А. Исследование необходимости использования верификации программ / В. А. Нещадым, О. Г. Щевцова // V Всеукраїнська конференція "ІТБтаЗ" - 04 квітня 2013 р. – Дніпропетровськ : ДВНЗ "НГУ" ТОВ "САЛВЕЙ", 2013. |
| Короткий огляд (реферат): | Обеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ. |
| URI (Уніфікований ідентифікатор ресурсу): | http://ir.nmu.org.ua/handle/123456789/1856 |
| Розташовується у зібраннях: | V Всеукраїнська конференція "ІТБтаЗ" - 04 квітня 2013 р. |
Файли цього матеріалу:
| Файл | Опис | Розмір | Формат | |
|---|---|---|---|---|
| varification tools.pdf | 158,85 kB | Adobe PDF |  Переглянути/Відкрити |
Усі матеріали в архіві електронних ресурсів захищені авторським правом, всі права збережені.