Search
Now showing items 11-20 of 26
Модель дефектов программного обеспечения
(ХАІ, 2008)
Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ...
Создание надежных информационных систем, находящихся в постоянном развитии
(ХАІ, 2008)
Определены стратегии развития информационных систем, предложен алгоритм внедрения нового
программного обеспечения, рассмотрен пример информационной системы применяемой в Украинской
академии банковского дела НБУ.
Оценка программного обеспечения информационных и управляющих систем АЭС при экспертизе ядерной и радиационной безопасности
(ХАІ, 2008)
Проведен анализ опыта экспертов Государственного научно-технического центра по ядерной и радиационной безопасности (ГНТЦ ЯРБ) в области оценки безопасности программного обеспечения (ПО) информационных и управляющих систем ...
Classification of the information integrity recovery methods in the systems of various complexity
(ХАІ, 2008)
The main methods of data recovery are considered, the efficiency analysis according to the cost criteria, recovery speed and ability to apply it to various tasks was carried out.
Практические аспекты реализации динамического планирования запросов в клиент-серверных системах на основе OPC
(ХАІ, 2008)
Показано, что ключевые для систем реального времени свойства реактивности и предсказуемости в клиент-серверных системах, реализующих технологию ОРС могут быть достигнуты при разработке программного обеспечения, реализующего ...
Модели дефектов многоверсионных систем с учетом разнообразия технических средств и программного обеспечения
(ХАІ, 2008)
В статье получены модели дефектов мультидиверсных систем, учитывающие разнообразие программного обеспечения и технических средств, Проанализированы особенности формирования множеств дефектов отдельных программно-аппаратных ...
Багатоінваріантний метод підвищення надійності програмних засобів
(ХАІ, 2008)
З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у порівнянні
з відомими меншу ...
Реляционная модель представления технологических процессов испытаний
(ХАІ, 2008)
Рассмотрены теоретические аспекты применения баз данных для хранения описания технологических
процессов испытаний сложных технических систем. Приведена формальная модель баз данных, которая
с учетом практических особенностей ...
Об одном методе проверки профессиональных умений алгоритмизации
(ХАІ, 2009)
Изложен метод автоматической проверки правильности профессиональных умений алгоритмизации, базирующийся на принципах рационального тестирования промышленного программного обеспечения.
Оценка показателя версионной избыточности при проектировании программного обеспечения
(ХАІ, 2009)
Описаны типовые структуры графовой модели двухверсионного проекта и их параметры. Предложена аналитическая зависимость для показателя версионной избыточности, учитывающая длину минимальной версии проекта.