Основні опубліковані праці співробітників :: про компанію :: головна

Основні опубліковані праці співробітників

2007

1. Райчев І.Е., Харченко О.Г.
   Принципи побудови моделі якості у використанні програмних систем. Зб. наук. праць Інституту проблем моделювання в енергетиці, Київ, ІПМЕ, 2007, Вип. 39. стор. 31–38.
2. Райчев І.Е., Харченко О.Г.
Принципи проектування відкритих розподілених систем. Об'єктно-орієнтоване проектування інформаційних систем. Лабораторний практикум для студентів спеціальності 6.080400, Київ, НАУ, 2007, 68 с.
3. Райчев І.Е., Харченко О.Г.
   Концепція побудови моделі експлуатаційної якості програмних систем. АВІА–2007, VIII міжнародна науково–технічна конференція, Київ, НАУ, 2007, Том 1, стор. 13.127–13.132.

2006

1. Райчев І.Е., Харченко О.Г.
   Конструювання програм створення тестових наборів даних на базі автоматних моделей. Математичні машини і системи, №3, 2006,стор.127–136.
2. Райчев І.Е., Харченко О.Г.
   Організація баз даних і знань. Лабораторний практикум для студентів спеціальності 8.080401, Київ, НАУ, 2006, 52 с.
3. Райчев І.Е., Харченко О.Г.
   Застосування моделей якості при сертифікації програмних систем. Зб. наук. праць Інституту проблем моделювання в енергетиці, Київ, ІПМЕ, 2006, Вип. 37, стор. 21–28.
4. Райчев І.Е., Харченко О.Г.
   Концепція побудови сертифікаційної моделі якості програмних систем. УкрПРОГ'2006, V міжнародна науково-практична конференція з програмування, Київ, Інститут програмних систем НАНУ, 2006, с. 275–281.

2004

1. Райчев І.Е., Харченко О.Г.
   Автоматизована система оцінки рівня якості програмного забезпечення. Проблеми інформатизації та управління : Зб. наук. праць, Київ, НАУ, 2004, Вип. 9, стор. 243–247.
2. Райчев І.Е., Харченко О.Г.
   Проблеми оцінювання якості критичних програмних систем при їх сертифікації. Проблемы программирования, №2-3, 2004, стор.198–207.
3. Тимошенко І.Г.
   Архітектурна організація реконфігуровних комп'ютерів на базі ПЛІС. Радіоелектроніка. Інформатика. Управління, № 2, 2004, стор 139-144.

2003

1. Райчев І.Е., Харченко О.Г.
   Система автоматизації сертифікаційних випробувань програмного забезпечення контролю польотів. Вісник Черкаського державного технологічного університету, №3, 2003, стор. 24–30.

2002

1. Райчев І.Е., Харченко О.Г., Яцков М.О., Василенко В.А.
   Автоматизація визначення показників вірогідності об’єктів контролю при наявності разової команди. Вісник НАУ, №3, 2002, стор. 73–78.
2. Райчев И.Э., Харченко А.Г., Яцков Н.А.
   Технология определения показателей достоверности объектов контроля по информации параметрических регистраторов. АВІА–2002, IV міжнародна науково–технічна конференція, Київ, 2002, Том 1, стор. 14.61–14.66.
3. Райчев И.Э., Харченко А.Г.
   Автоматные модели контроля. АВІА–2002, IV міжнародна науково–технічна конференція, Київ, 2002, Том 1, стор. 14.57–14.60.

2001

1. Райчев И.Э., Харченко А.Г.
   Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов. Вісник НАУ, №3, 2001, стор. 136–140.
2. Райчев И.Э., Харченко А.Г., Яцков Н.А.
   Методы создания тестовых наборов данных при сертификационных испытаниях комплексов программ контроля полетов. Вісник НАУ, №1, 2001, стор. 126–132.
3. Ластовченко М.М., Харченко А.Г., Павлюк В.С., Биляк В.И., Райчев И.Э.
   Система автоматизированного консалтинга аппаратно-программных средств интеллектуальных сетей. Науково-практична конференція “Розвиток сучасних послуг зв’язку через інтелектуальні платформи”, Київ, Укртелеком, 2001, стор. 179–182.

2000

1. Райчев И.Э., Харченко А.Г., Яцков Н.А.
   Исследование методов тестирования программных модулей обработки полетной информации. Вісник Київського міжнародного університету цивільної авіації, №1–2, 2000, стор. 127–133.
2. Райчев И.Э., Харченко А.Г.
   Методы создания тестовых наборов данных для оценки программных комплексов контроля полетов. АВІА–2000, II міжнародна науково-технічна конференція, Київ, 2000, стор. 1–4.