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