Пошук
Зараз показуються 1-2 з 2
Оценка эффективности независимой верификации программного обеспечения
(ХАИ, 2004)
Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки ...
Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2007)
Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...