| dc.contributor.author | Лучкова, А. В. | uk |
| dc.date.accessioned | 2016-05-26T21:27:21Z | |
| dc.date.available | 2016-05-26T21:27:21Z | |
| dc.date.issued | 2016-03 | |
| dc.identifier.citation | Лучкова А. В. Аналіз методів верифікації програмного забезпечення [Електронний ресурс] / А. В. Лучкова // Матеріали XLV Науково-технічної конференції ВНТУ, Вінниця, 23-24 березня 2016 р. - Електрон. текст. дані. - 2016. - Режим доступу : http://conferences.vntu.edu.ua/index.php/all-fitki/all-fitki-2016/paper/view/609. | uk |
| dc.identifier.uri | http://conferences.vntu.edu.ua/index.php/all-fitki/all-fitki-2016/paper/view/609 | |
| dc.identifier.uri | http://ir.lib.vntu.edu.ua/handle/123456789/10955 | |
| dc.description.abstract | У даній роботі представлений огляд методів верифікації програмного забезпечення (ПЗ). Пропонується класифікація відомих методів верифікації. В рамках запропонованої системи розглядаються як зрілі і широко використовувані при розробці методи верифікації ПЗ, так і недавно створені і використовувані поки тільки в рамках дослідницьких проектів. | uk |
| dc.description.abstract | This paper provides an overview of methods for verification of software. Proposed classification known methods of verification. As part of the proposed system are regarded as mature and widely used in the development of methods for software verification and recently created and used so far only in the research projects. | en |
| dc.language.iso | uk_UA | uk_UA |
| dc.publisher | ВНТУ | uk |
| dc.subject | верифікація програмного забезпечення | uk |
| dc.subject | тестування програмного забезпечення | uk |
| dc.subject | verification software | en |
| dc.subject | software testing | en |
| dc.title | Аналіз методів верифікації програмного забезпечення | uk |
| dc.type | Thesis | |
| dc.identifier.udc | 004.4 | |
