Показати простий запис статті
dc.contributor.author |
Скляр, В.В. |
|
dc.contributor.author |
Харченко, В.С. |
|
dc.date.accessioned |
2015-07-02T17:47:06Z |
|
dc.date.available |
2015-07-02T17:47:06Z |
|
dc.date.issued |
2006 |
|
dc.identifier.citation |
Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос. |
uk_UA |
dc.identifier.issn |
1028-9763 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/84059 |
|
dc.description.abstract |
Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО любого типа. |
uk_UA |
dc.description.abstract |
Узагальнені вимоги стандартів до процесу верифікації програмного забезпечення (ПЗ), що дозволило структурувати цей процес та розробити метод комплексної верифікації, спрямований на забезпечення надійності ПЗ. Метод комплексної верифікації є універсальним і може бути застосований для ПЗ будь - якого типу. |
uk_UA |
dc.description.abstract |
Requirements of standards to verification of software are generalised, that permits to structure this process and to develop a method of integrated verification which is directed to assurance of software reliability. The method of integrated verification is universal and can be used for any type of software. |
uk_UA |
dc.language.iso |
ru |
uk_UA |
dc.publisher |
Інститут проблем математичних машин і систем НАН України |
uk_UA |
dc.relation.ispartof |
Математичні машини і системи |
|
dc.subject |
Моделювання і управління великими системами |
uk_UA |
dc.title |
Реализация процесса верификации для разработки надежного программного обеспечения |
uk_UA |
dc.title.alternative |
Реалізація процесу верифікації для розробки надійного програмного забезпечення |
uk_UA |
dc.title.alternative |
Realization of process of verification for development of the reliable software |
uk_UA |
dc.type |
Article |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
681.3.06 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті