Search
Now showing items 41-50 of 105
Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
(ХАІ, 2008)
В статье получены модели дефектов мультидиверсных систем, учитывающие разнообразие программного обеспечения и технических средств, Проанализированы особенности формирования множеств дефектов отдельных программно-аппаратных ...
Багатоінваріантний метод підвищення надійності програмних засобів
(ХАІ, 2008)
З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у порівнянні
з відомими меншу ...
Реляционная модель представления технологических процессов испытаний
(ХАІ, 2008)
Рассмотрены теоретические аспекты применения баз данных для хранения описания технологических
процессов испытаний сложных технических систем. Приведена формальная модель баз данных, которая
с учетом практических особенностей ...
Об одном методе проверки профессиональных умений алгоритмизации
(ХАІ, 2009)
Изложен метод автоматической проверки правильности профессиональных умений алгоритмизации, базирующийся на принципах рационального тестирования промышленного программного обеспечения.
Оценка показателя версионной избыточности при проектировании программного обеспечения
(ХАІ, 2009)
Описаны типовые структуры графовой модели двухверсионного проекта и их параметры. Предложена аналитическая зависимость для показателя версионной избыточности, учитывающая длину минимальной версии проекта.
Модель для оценки качества систем управления контентом
(ХАІ, 2009)
На основе анализа существующих систем управления контентом, была разработана модель,
дополняющая и конкретизирующая модель качества программного обеспечения.
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Метод идентификации рисков программного проекта на основе вероятностного подхода
(ХАІ, 2009)
Рассматриваются вероятностные модели оценки рисков, связанных с разработкой программного
продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс.
Модели и методы разработки виртуальных лабораторных комплексов на основе технологии Windows Workflow Foundation
(ХАІ, 2010)
Рассматриваются способы применения технологии Windows Workflow Foundation при разработке программного обеспечения для создания виртуальных лабораторных комплексов.
Метод оценки качества человеко-машинных интерфейсов в системах автоматизированной обработки телеметрической информации
(ХАІ, 2010)
Показано, что для повышения эффективности функционирования, снижения стоимости разработки и эксплуатации таких сложных систем, как системы телеметрии, обработка информации в которых происходит в режиме реального времени, ...