Suche
Anzeige der Dokumente 41-50 von 51
Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения
(ХАИ, 2006)
Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных ...
Обзор и анализ возможностей виртуальных машин как средства обеспечения безопасности функционирования программных средств
(ХАИ, 2007)
Проанализирована существующая проблема обеспечения функциональной безопасности программного обеспечения критического назначения. Проведен обзор и анализ существующих типов виртуальных машин (ВМ), их архитектур и свойств. ...
Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2012)
Представлена процедура калибровки чувствительности дескрипторного семантического
контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...
Групповая динамика и коммуникация как дисциплина программной инженерии
(ХАИ, 2012)
Статья посвящена определению целей и содержания обучения по профессионально-ориентированной дисциплине «Групповая динамика и коммуникация», которая входит в
учебный план подготовки бакалавра по направлению «Программная ...
Розробка вимог та управління проєктами заміни програмного забезпечення
([Б. в.], 2023)
Розглядаються особливості розробки вимог та управління проєктами заміни
організаційно-економічного програмного забезпечення. Досліджуються техніки виявлення та
аналізу бізнес-вимог, вимог користувачів та вимог до рішення. ...
Разработка ПО для микроконтроллера STM32FXXX при интеграции с оптическим радаром Leddar One
(ХАИ, 2018)
В последние годы большую популярность получили автопилоты для различных
транспортных средств. Важнейшие блоки автопилота – системы обнаружения препятствий.
В качестве чувствительных элементов выступают радары различных ...
Анализ актуальности средств разработки программного кода для адаптации учебных планов университетского образования Украины
(ХАИ, 2018)
В работе проведен анализ средств разработки программного обеспечения, которое может
быть использовано, при подготовке будущих специалистов в области информационных
технологий. Приведена статистика рынка труда Украины по ...
Исследование датчика температуры DS18B20 WI-FI модулем NodeMCU V3 ESP8266
(ХАИ, 2019)
В работе описан аппаратно-программный
комплекс для подключения измерителя температуры (датчика) DS18B20. Комплекс
разработан для исследования обеспечения отказоустойчивости измерений
температуры в IoT. В качестве блока ...
Застосування емпіричних моделей і метрик Холстеда для оцінювання якості додатків програмного забезпечення
(ХАИ, 2019)
Розглянуто застосування емпіричних моделей і метрик Холстеда для оцінювання якості програмного забезпечення. Предметом дослідження є методи вимірювання надійності програмного забезпечення і модель її розрахунку. Мета роботи ...
Оптимізація транспортних маршрутів логістичного провайдера в режимі реального часу
(Планета-прінт, 2019)