Search
Now showing items 1-10 of 18
Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2007)
Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...
Экспертиза программного обеспечения информационно-управляющих систем с использованием дескрипторного семантического пространства
(ХАІ, 2007)
Показаны проблемы экспертизы, основанной на оценке семантической корректности программного
обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью.
Предложен метод эффективного представления ...
Модель дефектов программного обеспечения
(ХАІ, 2008)
Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ...
Целочисленное семантическое отображение
(ХАІ, 2007)
Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ...
Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения
(ХАИ, 2006)
Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных ...
Статистична оцінка стійкості економічного розвитку країн південного Кавказу
(ХАІ, 2023)
Метою статті є аналіз позицій
країн Південного Кавказу (Азербайджану, Вірменії та Грузії) в міжнародних рейтингах в динаміці;
визначення рівня сталого розвитку країн на основі рейтингу індексів провідних міжнародних ...
Статистичний аналіз авіаційної галузі України в умовах нестабільного попиту на авіаперевезення
(ХАІ, 2021)
Метою статті є аналіз закономірностей й тенденцій, притаманних сучасному ринку авіаційних перевезень України, та прогноз його розвитку в умовах нестабільного попиту на авіаперевезення.
Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2012)
Представлена процедура калибровки чувствительности дескрипторного семантического
контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...
Управління конкурентоспроможністю підприємства
(ХАІ, 2020)
Висвітлено теоретико-методичні й прикладні аспекти управління
конкурентоспроможністю підприємства. Розкрито функціональні основи розвитку
конкурентних відносин з урахуванням інституціональних чинників конкуренції ...
Маркетинг промислового підприємства
(ХАІ, 2015)
Викладено теоретичні матеріали за нормативною програмою з курсу «Маркетинг промислового підприємства». Особливу увагу приділено характеристиці суб’єктів маркетингу в діяльності підприємств на промисловому ринку, формуванню ...