Реализация процесса верификации для разработки надежного программного обеспечения
Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО...
Збережено в:
| Дата: | 2006 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут проблем математичних машин і систем НАН України
2006
|
| Назва видання: | Математичні машини і системи |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/84059 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-84059 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-840592015-07-05T11:54:05Z Реализация процесса верификации для разработки надежного программного обеспечения Скляр, В.В. Харченко, В.С. Моделювання і управління великими системами Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО любого типа. Узагальнені вимоги стандартів до процесу верифікації програмного забезпечення (ПЗ), що дозволило структурувати цей процес та розробити метод комплексної верифікації, спрямований на забезпечення надійності ПЗ. Метод комплексної верифікації є універсальним і може бути застосований для ПЗ будь - якого типу. 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. 2006 Article Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос. 1028-9763 http://dspace.nbuv.gov.ua/handle/123456789/84059 681.3.06 ru Математичні машини і системи Інститут проблем математичних машин і систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Моделювання і управління великими системами Моделювання і управління великими системами |
| spellingShingle |
Моделювання і управління великими системами Моделювання і управління великими системами Скляр, В.В. Харченко, В.С. Реализация процесса верификации для разработки надежного программного обеспечения Математичні машини і системи |
| description |
Обобщены требования стандартов к процессу верификации программного обеспечения (ПО), что позволило структурировать данный процесс и разработать метод комплексной верификации, направленный на обеспечение надежности ПО. Метод комплексной верификации является универсальным и может быть применен для ПО любого типа. |
| format |
Article |
| author |
Скляр, В.В. Харченко, В.С. |
| author_facet |
Скляр, В.В. Харченко, В.С. |
| author_sort |
Скляр, В.В. |
| title |
Реализация процесса верификации для разработки надежного программного обеспечения |
| title_short |
Реализация процесса верификации для разработки надежного программного обеспечения |
| title_full |
Реализация процесса верификации для разработки надежного программного обеспечения |
| title_fullStr |
Реализация процесса верификации для разработки надежного программного обеспечения |
| title_full_unstemmed |
Реализация процесса верификации для разработки надежного программного обеспечения |
| title_sort |
реализация процесса верификации для разработки надежного программного обеспечения |
| publisher |
Інститут проблем математичних машин і систем НАН України |
| publishDate |
2006 |
| topic_facet |
Моделювання і управління великими системами |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/84059 |
| citation_txt |
Реализация процесса верификации для разработки надежного программного обеспечения / В.В. Скляр, В.С. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 137-145. — Бібліогр.: 9 назв. — рос. |
| series |
Математичні машини і системи |
| work_keys_str_mv |
AT sklârvv realizaciâprocessaverifikaciidlârazrabotkinadežnogoprogrammnogoobespečeniâ AT harčenkovs realizaciâprocessaverifikaciidlârazrabotkinadežnogoprogrammnogoobespečeniâ |
| first_indexed |
2023-10-18T19:28:07Z |
| last_indexed |
2023-10-18T19:28:07Z |
| _version_ |
1796147040009322496 |