Пошук
Зараз показуються 31-33 з 33
Гарантоздатні системи та багатоверсійні обчислення: аспекти еволюції
(ХАІ, 2009)
Запропоновано модифіковану таксономічну схему гарантоздатності з урахуванням факторів еволюції
комп’ютерних систем (зміни функціональних вимог, вимог до гарантоздатності та характеристик
середовища), а також операційного ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.