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