Реализация процесса верификации для разработки надежного программного обеспечения
Vernadsky National Library of Ukraine
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Реализация процесса верификации для разработки надежного программного обеспечения
|
|
| Creator |
Скляр, В.В.
Харченко, В.С. |
|
| Subject |
Моделювання і управління великими системами
|
|
| 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. |
|
| Date |
2015-07-02T17:47:06Z
2015-07-02T17:47:06Z 2006 |
|
| Type |
Article
|
|
| Identifier |
Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос.
1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/84059 681.3.06 |
|
| Language |
ru
|
|
| Relation |
Математичні машини і системи
|
|
| Publisher |
Інститут проблем математичних машин і систем НАН України
|
|