Search
Now showing items 1-10 of 35
Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2007)
Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...
Обобщенная модель ядра семантической целостности языка стандартов программного обеспечения
(ХАИ, 2013)
Описана постановка задачи синтеза обобщенной модели ядра семантической целостности для автоматизации процесса обработки текстов стандартов программного обеспечения (ПО) и технической
документации к программным продуктам. ...
Методика машинной обработки лингвистических единиц класса «язык стандартов программного обеспечения»
(ХАИ, 2013)
Описана методика машинной обработки документов из нормативной базы (НБ) в процессе формирования нормативного профиля для сертификации программного обеспечения систем критического применения. Рассмотрен подход к моделированию ...
Создание функционально безопасных программных систем на основе виртуальных машин
(ХАІ, 2007)
Рассмотрена существующая проблема обеспечения функциональной безопасности программного обеспечения. Приведен обзор нормативных документов, которые регламентируют функциональную безопасность программных средств. Рассмотрены ...
Модели и способы автоматизированного управления испытаниями систем космического аппарата
(ХАІ, 2007)
Выполнена разработка комплекса моделей, способов и информационных средств для автоматизации технологических процессов испытаний на основе системы энергоснабжения (СЭС) космических аппаратов
(КА). Рассмотрены некоторые ...
Проектирование сложных проблемно-ориентированных комплексов на основе модели траекторий вычислительных процессов
(ХАІ, 2007)
Выполнен анализ известных современных технологий разработки проблемно-ориентированных программных комплексов. Обоснована необходимость создания новых методов и технологий разработки для
целого класса задач, обеспечение ...
Методы оценки стоимости и затрат на создание программного продукта, основанные на нечеткой логике
(ХАІ, 2008)
Проведен аналитический обзор исследований по оценке стоимости разработки программного обеспечения в современных информационно-управляющих системах. Показана необходимость использования математического аппарата нечеткой ...
Модель дефектов программного обеспечения
(ХАІ, 2008)
Предлагается модель дефектов программного обеспечения, основанная на целочисленном дескрипторном отображении. Программный код рассмотрен как упорядоченное множество программных конструкций, каждая из которых с некоторой ...
Практические аспекты реализации динамического планирования запросов в клиент-серверных системах на основе OPC
(ХАІ, 2008)
Показано, что ключевые для систем реального времени свойства реактивности и предсказуемости в клиент-серверных системах, реализующих технологию ОРС могут быть достигнуты при разработке программного обеспечения, реализующего ...
Багатоінваріантний метод підвищення надійності програмних засобів
(ХАІ, 2008)
З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у порівнянні
з відомими меншу ...