Search
Now showing items 1-10 of 51
Оценка показателя версионной избыточности при проектировании программного обеспечения
(ХАІ, 2009)
Описаны типовые структуры графовой модели двухверсионного проекта и их параметры. Предложена аналитическая зависимость для показателя версионной избыточности, учитывающая длину минимальной версии проекта.
Знание-ориентированные методы формирования нормативных профилей к системам критического применения на основе онтологий
(ХАІ, 2010)
В статье рассматривается разработка элементов технологии интеллектуальной поддержки принятия решений при реализации задачи экспертирования программного обеспечения – формировании нормативного профиля. Выделены этапы процесса ...
Процедура выбора средств для оценки соответствия программного обеспечения нормативным требованиям
(ХАІ, 2010)
Проведен анализ существующих классификаций методов оценки программного обеспечения. Проведен анализ информации используемой при оценке соответствия требованиям и предложено формальное описание метода оценки программного ...
Информационные технологии разработки и управления системами тестирования высокой ответственности
(ХАІ, 2011)
Рассматриваются вопросы применения тестирования для оценки знаний в национальных системах
оценивания. Проведен анализ прикладного программного обеспечения для реализации функций разработки тестов, проведения тестирования ...
Метод перечисления символьных последовательностей
(ХАІ, 2012)
Рассмотрены свойства символьных последовательностей и способы их формального представления в виде серийных последовательностей. Введены операции на множестве символьных последовательностей, позволяющие проводить их ...
Об одном методе проверки профессиональных умений алгоритмизации
(ХАІ, 2009)
Изложен метод автоматической проверки правильности профессиональных умений алгоритмизации, базирующийся на принципах рационального тестирования промышленного программного обеспечения.
Анализ моделей представления требований к программному обеспечению при их профилировании
(ХАІ, 2009)
Рассмотрены модели формального представления требований в контексте разработки метода профилирования требований программного обеспечения.
Метод идентификации рисков программного проекта на основе вероятностного подхода
(ХАІ, 2009)
Рассматриваются вероятностные модели оценки рисков, связанных с разработкой программного
продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс.
Модели и методы разработки виртуальных лабораторных комплексов на основе технологии Windows Workflow Foundation
(ХАІ, 2010)
Рассматриваются способы применения технологии Windows Workflow Foundation при разработке программного обеспечения для создания виртуальных лабораторных комплексов.
Метод оценки качества человеко-машинных интерфейсов в системах автоматизированной обработки телеметрической информации
(ХАІ, 2010)
Показано, что для повышения эффективности функционирования, снижения стоимости разработки и эксплуатации таких сложных систем, как системы телеметрии, обработка информации в которых происходит в режиме реального времени, ...