Search
Now showing items 21-26 of 26
Модель для оценки качества систем управления контентом
(ХАІ, 2009)
На основе анализа существующих систем управления контентом, была разработана модель,
дополняющая и конкретизирующая модель качества программного обеспечения.
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Метод идентификации рисков программного проекта на основе вероятностного подхода
(ХАІ, 2009)
Рассматриваются вероятностные модели оценки рисков, связанных с разработкой программного
продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс.
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.