Search
Now showing items 21-30 of 105
Метод календарного планирования программных проектов в условиях неопределенности
(ХАИ, 2012)
Проведен анализ основных особенностей программных проектов. Проведены основные отличия программных проектов от других типов технических проектов. Выполнен обзор требований, предъявляемых к системам планирования программных ...
Концепция создания программного обеспечения для визуализации процессов сборки плоских узлов планера самолета
(ХАИ, 2013)
В статье предложена обобщенная структура программного обеспечения и разработано программное
обеспечение для визуализации контроля процесса конвейерной сборки плоских узлов планера самолета;
показан пример процесса ...
Обобщенная модель ядра семантической целостности языка стандартов программного обеспечения
(ХАИ, 2013)
Описана постановка задачи синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической
документации к программным продуктам. ...
Методика машинной обработки лингвистических единиц класса «язык стандартов программного обеспечения»
(ХАИ, 2013)
Описана методика машинной обработки документов из нормативной базы (НБ) в процессе формирования нормативного профиля для сертификации программного обеспечения систем критического применения. Рассмотрен подход к моделированию ...
Разработка интеллектуальной программы, обучающей умениям строить частотные характеристики непрерывных систем автоматического управления
(ХАИ, 2014)
Сформулированы основные задачи проектирования обучающей программы для аналитического получения частотных характеристик систем автоматического управления. Рассмотрена структура и
внутренняя организация разрабатываемого ...
Использование метрик Холстеда при оценке безопасности критического программного обеспечения
(ХАІ, 2003)
Предложена методика использования метрик Холстеда при экспертной оценке программного обеспечения информационно-управляющих систем критического применения. Получен универсальный алгоритм расчета метрик Холстеда для ассемблерных ...
Информационная технология разработки компьютерных обучающих программ
(ХАІ, 2006)
Рассмотрены методы и подходы, используемые для разработки компьютерных средств обучения, сформирован подход к разработке обучающих программ для выбранной предметной области, приведены результаты реализации используемого ...
Risk-oriented software reliability assessment
(ХАІ, 2006)
Software risks and risk management model are discussed. Software reliability risks are considered as a part of
general software risk model. Software reliability assessment risks concerned with reliability assessment ...
Унифицированная модель оценки верификации программного обеспечения на основе засева дефектов
(ХАІ, 2006)
Проведен анализ методов засева дефектов программного обеспечения (ПО) при оценке качества его
верификации. Предложена унифицированная модель засева дефектов, которая может быть применена на
любом из этапов разработки ПО.
Создание функционально безопасных программных систем на основе виртуальных машин
(ХАІ, 2007)
Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены ...