dc.contributor.author | Конорев, Б.М. | |
dc.contributor.author | Засуха, С.А. | |
dc.contributor.author | Манжос, Ю.С. | |
dc.contributor.author | Семенов, Л.П. | |
dc.contributor.author | Сергиенко, В.В. | |
dc.contributor.author | Харченко, В.С. | |
dc.contributor.author | Чертков, Г.Н. | |
dc.date.accessioned | 2022-12-07T19:07:23Z | |
dc.date.available | 2022-12-07T19:07:23Z | |
dc.date.issued | 2006 | |
dc.identifier.citation | Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов / Б. М. Конорев, С. А. Засуха, Ю. С. Манжос [и др.] // Радіоелектронні і комп'ютерні системи. – 2006. – № 7. – С. 162–170. | uk_UA |
dc.identifier.issn | 1814-4225 | |
dc.identifier.uri | http://dspace.library.khai.edu/xmlui/handle/123456789/3124 | |
dc.description.abstract | Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ИУС для композиции диверсных технологий верификации на основе
экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов
верификации. | uk_UA |
dc.description.abstract | Запропонований підхід створює можливості в рамках risk-informed регулювання безпеки АЕС кількісно оцінювати та керувати величиною зниження ймовірності ризиків залишкових дефектів програмного забезпечення (ПЗ) ІВС для композиції диверсних технологій верифікації на основі експериментального калібрування чутливості та реального ступеня різноманітності диверсних методів верифікації. | uk_UA |
dc.language.iso | ru | uk_UA |
dc.publisher | ХАІ | uk_UA |
dc.subject | радиоэлектронные и компьютерные системы | uk_UA |
dc.subject | программное обеспечение | uk_UA |
dc.subject | оценивание | uk_UA |
dc.subject | безопасность | uk_UA |
dc.subject | статический анализ | uk_UA |
dc.subject | радіоелектронні і комп'ютерні системи | uk_UA |
dc.subject | програмне забезпечення | uk_UA |
dc.subject | оцінювання | uk_UA |
dc.subject | безпека | uk_UA |
dc.subject | статичний аналіз | uk_UA |
dc.title | Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов | uk_UA |
dc.type | Article | uk_UA |