Publication: ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ
| cris.virtual.department | #PLACEHOLDER_PARENT_METADATA_VALUE# | |
| cris.virtual.department | #PLACEHOLDER_PARENT_METADATA_VALUE# | |
| cris.virtual.orcid | #PLACEHOLDER_PARENT_METADATA_VALUE# | |
| cris.virtual.orcid | #PLACEHOLDER_PARENT_METADATA_VALUE# | |
| cris.virtualsource.department | db5457b1-2f0d-4d39-a8ed-90c2784aa4a4 | |
| cris.virtualsource.department | 1f16ed95-0a1b-4ee2-a8ab-feeb880cd738 | |
| cris.virtualsource.orcid | db5457b1-2f0d-4d39-a8ed-90c2784aa4a4 | |
| cris.virtualsource.orcid | 1f16ed95-0a1b-4ee2-a8ab-feeb880cd738 | |
| dc.contributor.author | Нещадым, В. А. | |
| dc.contributor.author | Щевцова, О.С. | |
| dc.date.accessioned | 2013-06-11T13:44:46Z | |
| dc.date.available | 2013-06-11T13:44:46Z | |
| dc.date.issued | 2013 | |
| dc.description.abstract | Обеспечение высокой надежности и безошибочности программ — одна из главных задач индустрии информационных технологий. Использование верификации, дополняющей традиционные методы тестирования и отладки, позволяет повышать качество программ. | uk_UA |
| dc.identifier.citation | Нещадым В.А. Исследование необходимости использования верификации программ / В. А. Нещадым, О. Г. Щевцова // V Всеукраїнська конференція "ІТБтаЗ" - 04 квітня 2013 р. – Дніпропетровськ : ДВНЗ "НГУ" ТОВ "САЛВЕЙ", 2013. | |
| dc.identifier.udk | 004.415 | uk_UA |
| dc.identifier.uri | http://ir.nmu.org.ua/handle/123456789/1856 | |
| dc.language.iso | ru | uk_UA |
| dc.publisher | ДВНЗ "НГУ" ТОВ "САЛВЕЙ" | uk_UA |
| dc.subject | верификация программ | uk_UA |
| dc.subject | ПО | uk_UA |
| dc.subject | метод формальной верификаци | uk_UA |
| dc.title | ИССЛЕДОВАНИЕ НЕОБХОДИМОСТИ ИСПОЛЬЗОВАНИЯ ВЕРИФИКАЦИИ ПРОГРАММ | uk_UA |
| dc.type | Article | uk_UA |
| dspace.entity.type | Publication |