Online моделювання
Бізнес-архітектури |
|
Новини
Статті
|

Акції
Події
|
|
 |
Основні опубліковані праці співробітників
2007
- Райчев І.Е., Харченко О.Г.
Принципи побудови моделі якості у використанні програмних систем. Зб. наук. праць Інституту проблем моделювання в енергетиці, Київ, ІПМЕ, 2007, Вип. 39. стор. 31–38.
- Райчев І.Е., Харченко О.Г.
Принципи проектування відкритих розподілених систем. Об'єктно-орієнтоване проектування інформаційних систем. Лабораторний практикум для студентів спеціальності 6.080400, Київ, НАУ, 2007, 68 с.
- Райчев І.Е., Харченко О.Г.
Концепція побудови моделі експлуатаційної якості програмних систем. АВІА–2007, VIII міжнародна науково–технічна конференція, Київ, НАУ, 2007, Том 1, стор. 13.127–13.132.
2006
- Райчев І.Е., Харченко О.Г.
Конструювання програм створення тестових наборів даних на базі автоматних моделей. Математичні машини і системи, №3, 2006,стор.127–136.
- Райчев І.Е., Харченко О.Г.
Організація баз даних і знань. Лабораторний практикум для студентів спеціальності 8.080401, Київ, НАУ, 2006, 52 с.
- Райчев І.Е., Харченко О.Г.
Застосування моделей якості при сертифікації програмних систем. Зб. наук. праць Інституту проблем моделювання в енергетиці, Київ, ІПМЕ, 2006, Вип. 37, стор. 21–28.
- Райчев І.Е., Харченко О.Г.
Концепція побудови сертифікаційної моделі якості програмних систем. УкрПРОГ'2006, V міжнародна науково-практична конференція з програмування, Київ, Інститут програмних систем НАНУ, 2006, с. 275–281.
2004
- Райчев І.Е., Харченко О.Г.
Автоматизована система оцінки рівня якості програмного забезпечення. Проблеми інформатизації та управління : Зб. наук. праць, Київ, НАУ, 2004, Вип. 9, стор. 243–247.
- Райчев І.Е., Харченко О.Г.
Проблеми оцінювання якості критичних програмних систем при їх сертифікації. Проблемы программирования, №2-3, 2004, стор.198–207.
-
Тимошенко І.Г.
Архітектурна організація реконфігуровних комп'ютерів на базі ПЛІС. Радіоелектроніка. Інформатика. Управління, № 2, 2004, стор 139-144.
2003
- Райчев І.Е., Харченко О.Г.
Система автоматизації сертифікаційних випробувань програмного забезпечення контролю польотів. Вісник Черкаського державного технологічного університету, №3, 2003, стор. 24–30.
2002
- Райчев І.Е., Харченко О.Г., Яцков М.О., Василенко В.А.
Автоматизація визначення показників вірогідності об’єктів контролю при наявності разової команди. Вісник НАУ, №3, 2002, стор. 73–78.
- Райчев И.Э., Харченко А.Г., Яцков Н.А.
Технология определения показателей достоверности объектов контроля по информации параметрических регистраторов. АВІА–2002, IV міжнародна науково–технічна конференція, Київ, 2002, Том 1, стор. 14.61–14.66.
- Райчев И.Э., Харченко А.Г.
Автоматные модели контроля. АВІА–2002, IV міжнародна науково–технічна конференція, Київ, 2002, Том 1, стор. 14.57–14.60.
2001
- Райчев И.Э., Харченко А.Г.
Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов. Вісник НАУ, №3, 2001, стор. 136–140.
- Райчев И.Э., Харченко А.Г., Яцков Н.А.
Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов. Вісник НАУ, №1, 2001, стор. 126–132.
- Ластовченко М.М., Харченко А.Г., Павлюк В.С., Биляк В.И., Райчев И.Э.
Система автоматизированного консалтинга аппаратно-программных средств интеллектуальных сетей. Науково-практична конференція “Розвиток сучасних послуг зв’язку через інтелектуальні платформи”, Київ, Укртелеком, 2001, стор. 179–182.
2000
- Райчев И.Э., Харченко А.Г., Яцков Н.А.
Исследование методов тестирования программных модулей обработки полетной информации. Вісник Київського міжнародного університету цивільної авіації, №1–2, 2000, стор. 127–133.
- Райчев И.Э., Харченко А.Г.
Методы создания тестовых наборов данных для оценки программных комплексов контроля полетов. АВІА–2000, II міжнародна науково-технічна конференція, Київ, 2000, стор. 1–4.
|