Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...

Показаны проблемы экспертизы, основанной на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью. Предложен метод эффективного представления ...

Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ...

Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных ...

Представлена процедура калибровки чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...

Метою статті є аналіз позицій країн Південного Кавказу (Азербайджану, Вірменії та Грузії) в міжнародних рейтингах в динаміці; визначення рівня сталого розвитку країн на основі рейтингу індексів провідних міжнародних ...

Метою статті є аналіз закономірностей й тенденцій, притаманних сучасному ринку авіаційних перевезень України, та прогноз його розвитку в умовах нестабільного попиту на авіаперевезення.

Показаны проблемы контроля функциональности программного обеспечения, основанного на оценке семантической корректности программного обеспечения информационно-управляющих систем, обусловленные значительной ресурсоемкостью ...

Розглянуто комплекс статистичних методів збору, обробки та аналізу статистичної інформації, теоретичні й методичні основи побудови системи статистичних показників, які використовують для вивчення закономірностей суспільних ...

Розглянуто загальні положення й комплекс інструментів міжнародного маркетингу, а також особливості вибору міжнародних цільових ринків. Особливу увагу приділено ціновій політиці й політиці комунікації. Наведено контрольні ...