Реализация процесса верификации для разработки надежного программного обеспечения
Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО...
Saved in:
| Published in: | Математичні машини і системи |
|---|---|
| Date: | 2006 |
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут проблем математичних машин і систем НАН України
2006
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/84059 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862542151384039424 |
|---|---|
| author | Скляр, В.В. Харченко, В.С. |
| author_facet | Скляр, В.В. Харченко, В.С. |
| citation_txt | Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос. |
| collection | DSpace DC |
| container_title | Математичні машини і системи |
| description | Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО любого типа.
Узагальнені вимоги стандартів до процесу верифікації програмного забезпечення (ПЗ), що дозволило структурувати цей процес та розробити метод комплексної верифікації, спрямований на забезпечення надійності ПЗ. Метод комплексної верифікації є універсальним і може бути застосований для ПЗ будь - якого типу.
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.
|
| first_indexed | 2025-11-24T19:59:13Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-84059 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1028-9763 |
| language | Russian |
| last_indexed | 2025-11-24T19:59:13Z |
| publishDate | 2006 |
| publisher | Інститут проблем математичних машин і систем НАН України |
| record_format | dspace |
| spelling | Скляр, В.В. Харченко, В.С. 2015-07-02T17:47:06Z 2015-07-02T17:47:06Z 2006 Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос. 1028-9763 https://nasplib.isofts.kiev.ua/handle/123456789/84059 681.3.06 Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО любого типа. Узагальнені вимоги стандартів до процесу верифікації програмного забезпечення (ПЗ), що дозволило структурувати цей процес та розробити метод комплексної верифікації, спрямований на забезпечення надійності ПЗ. Метод комплексної верифікації є універсальним і може бути застосований для ПЗ будь - якого типу. 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. ru Інститут проблем математичних машин і систем НАН України Математичні машини і системи Моделювання і управління великими системами Реализация процесса верификации для разработки надежного программного обеспечения Реалізація процесу верифікації для розробки надійного програмного забезпечення Realization of process of verification for development of the reliable software Article published earlier |
| spellingShingle | Реализация процесса верификации для разработки надежного программного обеспечения Скляр, В.В. Харченко, В.С. Моделювання і управління великими системами |
| title | Реализация процесса верификации для разработки надежного программного обеспечения |
| title_alt | Реалізація процесу верифікації для розробки надійного програмного забезпечення Realization of process of verification for development of the reliable software |
| title_full | Реализация процесса верификации для разработки надежного программного обеспечения |
| title_fullStr | Реализация процесса верификации для разработки надежного программного обеспечения |
| title_full_unstemmed | Реализация процесса верификации для разработки надежного программного обеспечения |
| title_short | Реализация процесса верификации для разработки надежного программного обеспечения |
| title_sort | реализация процесса верификации для разработки надежного программного обеспечения |
| topic | Моделювання і управління великими системами |
| topic_facet | Моделювання і управління великими системами |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/84059 |
| work_keys_str_mv | AT sklârvv realizaciâprocessaverifikaciidlârazrabotkinadežnogoprogrammnogoobespečeniâ AT harčenkovs realizaciâprocessaverifikaciidlârazrabotkinadežnogoprogrammnogoobespečeniâ AT sklârvv realízacíâprocesuverifíkacíídlârozrobkinadíinogoprogramnogozabezpečennâ AT harčenkovs realízacíâprocesuverifíkacíídlârozrobkinadíinogoprogramnogozabezpečennâ AT sklârvv realizationofprocessofverificationfordevelopmentofthereliablesoftware AT harčenkovs realizationofprocessofverificationfordevelopmentofthereliablesoftware |