Реализация процесса верификации для разработки надежного программного обеспечения

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