Search
Now showing items 211-220 of 228
Оценка показателя версионной избыточности при проектировании программного обеспечения
(ХАІ, 2009)
Описаны типовые структуры графовой модели двухверсионного проекта и их параметры. Предложена аналитическая зависимость для показателя версионной избыточности, учитывающая длину минимальной версии проекта.
Модель для оценки качества систем управления контентом
(ХАІ, 2009)
На основе анализа существующих систем управления контентом, была разработана модель,
дополняющая и конкретизирующая модель качества программного обеспечения.
Системы мониторинга лесных ресурсов: состояние и пути развития
(ХАІ, 2009)
В статье рассмотрена глобальная проблема состояния лесных массивов. В частности, акцент сделан
на системах сбора информации о состоянии лесов.
Алгоритм моделирования управляемой марковской цепи
(ХАІ, 2009)
Рассматривается алгоритм моделирования марковской цепи с управляемыми вероятностями состояний и числом состояний.
Возможности совместного использования современных методов анализа отказов систем, важных для безопасности
(ХАІ, 2009)
В статье проанализированы существующие методы анализа отказов, применяющиеся при разработке систем, важных для безопасности. Показаны их достоинства и недостатки, предложены
критерии, по которым можно произвести сравнение ...
Моделирование обслуживаемых компьютерных систем с учетом вторичных дефектов программных средств
(ХАІ, 2009)
В статье анализируются допущения, принятые в моделях надежности программных средств. Предлагается подход к разработке моделей обслуживаемых компьютерных систем, в которых учитываются
возможности внесения новых (вторичных) ...
Оценка качества интерфейсов медицинских систем: модель и элементы методики
(ХАІ, 2009)
Анализируются стандарты качества программного обеспечения и модели качества пользовательских
интерфейсов. Рассматривается классификация методов оценки сложных интерфейсов. Исследуется
методика метрической оценки качества ...
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Оценка диверсности программного обеспечения с использованием косвенных метрик
(ХАІ, 2009)
Проведен анализ прямых и косвенных метрик диверсности программного обеспечения. Сформулирована гипотеза об использовании косвенных метрик для оценки диверсности.
Формирование топологических отношений между геометрическими объектами цифровой лесной карты на основе анализа планарного графа
(ХАІ, 2009)
Рассмотрены элементы анализа правильного планарного графа, включающие формирование полигонов
на основе ребер графа, диагностику точечных и линейных шарниров. Вводится понятие простого
связного графа как элементарной ...