Search
Now showing items 41-50 of 51
Разработка и эксплуатация качественного программного обеспечения в условиях киберпреступности
(ХАІ, 2014)
Рассматривается и решается задача разработки и эксплуатации качественного программного
обеспечения в условиях киберпреступности.
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Экспериментальная оценка эффективности применения облачных вычислений в бизнес-приложениях операционной системы Android
(ХАІ, 2015)
Рассмотрено использование моделей сред реализации облачных вычислений в бизнес-приложениях для
мобильных устройств. Обоснован выбор облачной серверной инфраструктуры BaaS для мобильных
приложений. Определены особенности ...
Принцип адаптивного планирования задач в условиях автономной работы портативного компьютера
(ХАІ, 2015)
Рассмотрены принципы управления производительностью современных процессоров, в основе которых энергосберегающая технология динамического масштабирования напряжения и частоты процессора. Показано, что для эффективного ...
Сравнительный анализ качества пользовательских интерфейсов облачных текстовых редакторов Google Docs и Microsoft Office Word Web Apps
(ХАІ, 2016)
Рассмотрены подходы к оценке качества интерфейса пользователя. Разработан обобщенный алгоритм определения эффективности использования интерфейса облачных текстовых редакторов на
основе метода GOMS.
Планирование экспериментальных исследований зависимости энергопотребления от потребляемых ресурсов Веб-браузером в операционной системе Windows
(ХАІ, 2017)
Произведено планирование экспериментального исследования для определения зависимостей между
потребляемой веб-браузером энергией и различными существующими операциями, которые доступны
в библиотеках JavaScript и DHTML.
Резильєнтність комп'ютерних систем в умовах кіберзагроз: таксономія та онтологія
(ХАІ, 2020)
Предметом дослідження є процес побудови резильєнтних комп’ютерних систем в умовах кіберзагроз. Метою є розроблення таксономії та онтології резильєнтних комп’ютерних систем в умовах кіберзагроз.
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.
Метод багаторівневого компонентного проектування для забезпечення якості створюваної програмної системи
(ХАІ, 2016)
Ставиться та вирішується завдання забезпечення якості під час створення складної програмної системи (ПС) шляхом розвитку компонентного підходу на основі формування багаторівневої компонентної архітектури ПС.