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

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

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

В последние годы большую популярность получили автопилоты для различных транспортных средств. Важнейшие блоки автопилота – системы обнаружения препятствий. В качестве чувствительных элементов выступают радары различных ...

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

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

В работе описан аппаратно-программный комплекс для подключения измерителя температуры (датчика) DS18B20. Комплекс разработан для исследования обеспечения отказоустойчивости измерений температуры в IoT. В качестве блока ...