Search
Now showing items 11-20 of 26
Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
(ХАІ, 2008)
В статье получены модели дефектов мультидиверсных систем, учитывающие разнообразие программного обеспечения и технических средств, Проанализированы особенности формирования множеств дефектов отдельных программно-аппаратных ...
Оценка показателя версионной избыточности при проектировании программного обеспечения
(ХАІ, 2009)
Описаны типовые структуры графовой модели двухверсионного проекта и их параметры. Предложена аналитическая зависимость для показателя версионной избыточности, учитывающая длину минимальной версии проекта.
Модель для оценки качества систем управления контентом
(ХАІ, 2009)
На основе анализа существующих систем управления контентом, была разработана модель,
дополняющая и конкретизирующая модель качества программного обеспечения.
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Серверное обслуживание геоинформационных систем
(ХАІ, 2010)
В работе показаны роль и возможности специализированных ГИС-серверов и специального программного обеспечения. Рассмотрены различные методы введения дифференциальных поправок с учетом пропускной способности каналов связи.
About static analysis of variables physical dimensions for critical-mission software
(ХАІ, 2010)
Some strong method of static code analysis, namely, analysis of physical dimensions of program variables is researched in the paper. The formal model to analyze the dimensions of variables is built.
Оптимизация программного кода с использованием методов математического программирования
(ХАІ, 2010)
Сформулированы и решены математические задачи нахождения оптимальных характеристик программного обеспечения, которые применимы при выполнении инженерной задачи оптимизации работы программ.
Процедура выбора средств для оценки соответствия программного обеспечения нормативным требованиям
(ХАІ, 2010)
Проведен анализ существующих классификаций методов оценки программного обеспечения. Проведен анализ информации используемой при оценке соответствия требованиям и предложено формальное описание метода оценки программного ...
Проблемы надежности программно-аппаратных средств беспилотных систем
(ХАІ, 2012)
Приведен анализ результатов испытаний беспилотных систем, выявлены основные элементы
аппаратного и программного обеспечения с наименьшей надежностью. Рассмотрены существующие
подходы решения вопросов оценки и методы ...
Применение аппарата теории массового обслуживания для исследования процессов выявления и устранения уязвимостей программных средств
(ХАІ, 2014)
В статье предложены модели, позволяющие описать процессы выявления и устранения уязвимостей в
программном обеспечении (ПО). В качестве базовой модели предлагается использовать марковскую
цепь, описывающую процесс ...