Search
Now showing items 1-3 of 3
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Унифицированная модель оценки верификации программного обеспечения на основе засева дефектов
(ХАІ, 2006)
Проведен анализ методов засева дефектов программного обеспечения (ПО) при оценке качества его
верификации. Предложена унифицированная модель засева дефектов, которая может быть применена на
любом из этапов разработки ПО.
Создание надежных информационных систем, находящихся в постоянном развитии
(ХАІ, 2008)
Определены стратегии развития информационных систем, предложен алгоритм внедрения нового
программного обеспечения, рассмотрен пример информационной системы применяемой в Украинской
академии банковского дела НБУ.