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