Search

Now showing items 1-10 of 13

Якість програмного забезпечення та тестування

Манжос, Ю.С. (ХАІ, 2012)

Розглянуто основні характеристики якості, а також процеси життєвого циклу програмного забезпечення та їх документування. Визначено фактори, що впливають на якість програмного забезпечення. Показано особливості життєвого ...

Авторське право у програмній інженерії

Туркін, І.Б.; Манжос, Ю.С. (ХАІ, 2012)

Розглянуто основні складові авторського права у програмній інженерії, а також процедури оформлення свідоцтв на твір і патентів на винахід і корисні моделі. Показано особливості оформлення авторських прав на програми. Подано ...

Фактори надійності програмного забезпечення

Манжос, Ю.С. (ХАІ, 2013)

Розглянуто основи класичного підходу до оцінювання ймовірності безпомилкової роботи програмних систем. Запропоновано модель програмної системи, що складається з програмного забезпечення, як чорної скрині, та системи ...

Багатоінваріантний метод підвищення надійності програмних засобів

Манжос, Ю.С. (ХАІ, 2008)

З метою підвищення надійності програмно-технічних комплексів розглянуто метод, що забезпечує контроль інтервальної, точностної та семантичної коректності обчислювальних процесів, та має у порівнянні з відомими меншу ...

Метод стиснення даних у мережі інтернет речей

Манжос, Ю.С.; Соколова, Є.В. (ХАІ, 2020)

У статті пропонується метод стиснення інформації, особливо придатний для пристроїв IoT, що базується на паралельному використанні перетворень Чебишева та Фур’є.

Метод идентификации рисков программного проекта на основе вероятностного подхода

Мандрикова, Л.В.; Манжос, Ю.С.; Хоменко, В.В. (ХАІ, 2009)

Рассматриваются вероятностные модели оценки рисков, связанных с разработкой программного продукта, согласно которым жизненный цикл программного продукта рассматривается как Марковский процесс.

Інформаційна технологія аналiзування складних систем

Берднікова, А.Л.; Манжос, Ю.С. (ХАІ, 2013)

Приведено класифікацію складних систем, що використовує декартовий добуток ортогональних множин властивостей, що є «класифікаційними» множинами складних систем.

Оценка эффективности независимой верификации программного обеспечения

Манжос, Ю.С. (ХАИ, 2004)

Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки ...

Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем

Манжос, Ю.С.; Петрик, В.Л. (ХАИ, 2007)

Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...

Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов

Конорев, Б.М.; Засуха, С.А.; Манжос, Ю.С.; Семенов, Л.П.; Сергиенко, В.В.; Харченко, В.С.; Чертков, Г.Н. (ХАІ, 2006)

Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения (ПО) ...