курсовые и дипломные

Темы курсовых и дипломных работ для студентов кафедры

теории и технологии программирования

3 курс

Научный руководитель профессор Никитченко М.С.

Методы и языки спецификации предметных областей.
Верификация программных систем.
Формализация семантики языка UML.
Логическое программирование и его применение.
темпоральные логики и их применение.
Парадигмы программирования и их уточнения.

Научный руководитель доцент Бойко Б.И.

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

Научный руководитель доцент Волохов В.М.

Создание БД в среде SQL.
Средства индивидуальной создания запросов в СУБД.
Безопасность. Защита данных.

Научный руководитель доцент Зубенко В.В.

Обчислювальнисть в произвольных областях.
темпоральные алгоритмы.

Научный руководитель доцент Кузенко В.Ф.

Разработка клиент-серверных систем на основе COM -технологии.
Разработка клиент-серверных систем на основе CORBA -технологии.
Спецификация ( UML ) и реализация программных систем.
Спецификация ( UML ) и реализация ERP -систем.
Использование Rational Unified Process ( RUP ) при разработке программных систем.
CASE -средства ( Microsoft , Borland , IBM Rational ), сравнение и использование.
CASE -средства RUP .
Распределенные программные системы ( NET Remoting ).
Распределенные программные системы ( EJB ).
Web -сервисы NET .
Web -сервисы JAVA .
Средства поиска web -сервисов.
Средства рефлексии COM .
Средства рефлексии CORBA .
Средства рефлексии NET .
Взаимодействие COM - NET .
Взаимодействие NET - COM .
JAVA- технологии: JAVA KMI, JAVA EJB.

Научный руководитель доцент Шкильняк С.С.

Разработка графического материала для электронного пособия.

Научный руководитель ассистент Панченко Т.В.

Internet – технологии.
WWW в контексте всеобщей глобализации.
Применение Internet.
Составление расписаний.
Система управления WEB – сайтами.
e-education (электронный контроль знаний, электронный журнал, наполнение учебных курсов.
e-commerce системы.
Портальные системы.
Композиционные методы и корректность П3.
Технологии поиска информации в Internet.
Менеджмент удаленных распределенных ресурсов (управление, синхронизация и т. д).
Internet Data Mining.
Разработка системы автоматизированной проверки программ.
Разработка Web-ориентированной системы поддержки учебного процесса.
Анализ и разработка алгоритмов сравнения исходных кодов программ.

4 курс

Научный руководитель профессор Никитченко М.С.

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

Научный руководитель профессор Дорошенко А.Е.

Формальные методы анализа программ.
Эффективное распараллеливание прямых методов решения систем линейных алгебраических уравнений.
Использование Grid-технологий для высокопроизводительных параллельных вычислений.

Научный руководитель проф. Буй Д.Б.

Управление транзациямы в языке SQL.

Научный руководитель профессор Лаврищева К.М.

Технология и процессы жизненного цикла (ЖЦ).
Стандарты жизненного цикла и подходы к созданию моделей ЖЦ.
Качество и оценка показателей.
Оценка стоимости изготовления программных систем.
Методы проектирования архитектуры системы.

Научный руководитель доцент Бойко Б.И.

Разработка специализированной визуальной системы конструирования HTML-страниц
Методы конструирования информационных систем, основанных на табличных БД.
Синтаксический анализ программных грамматик.
Прикладное программирование на сетях.

Научный руководитель доцент Волохов В.М.

Сетевые технологии. Протоколы локальных сетей и сетевые ОС.
Технологии «клиент-сервер» на примере программных продуктов.

Научный руководитель доцент Зубенко В.В.

Обчислюванисть в произвольных областях. Темпоральные алгоритмы. Дистанционное обучение на примере курса «Программирование и ОС».

Научный руководитель доцент Кузенко В.Ф.

Разработка клиент-серверных систем на основе COM -технологии.
Разработка клиент-серверных систем на основе CORBA -технологии.
Спецификация ( UML ) и реализация программных систем.
Спецификация ( UML ) и реализация ERP -систем.
Использование Rational Unified Process ( RUP ) при разработке программных систем.
CASE -средства ( Microsoft , Borland , IBM Rational ), сравнение и использование.
CASE -средства RUP .
Распределенные программные системы ( NET Remoting ).
Распределенные программные системы ( EJB ).
Web -сервисы NET .
Web -сервисы JAVA .
Средства поиска web -сервисов.
Средства рефлексии COM .
Средства рефлексии CORBA .
Средства рефлексии NET .
Взаимодействие COM - NET .
Взаимодействие NET - COM .
JAVA- технологии: JAVA KMI, JAVA EJB.

Научный руководитель доцент Шкильняк С.С.

темпоральные логики и их применение.
Свойства неоклассических логик.
Свойства модальных логик

Научный руководитель ассистент Панченко Т.В.

СУБД: возможности, эффективность, оптимизация.
Исследование возможностей Internet.
Построение синтаксического анализатора композиционных языков BaCoN, ACoN, ReCoN.
Построение трансляторов из композиционных языков.
Составление расписаний.
Система управления WEB – сайтами.
e-education (электронный контроль знаний, электронный журнал, наполнение учебных курсов.
e-commerce системы.
Портальные системы.
Менеджмент удаленных распределенных ресурсов (управление, синхронизация и т. д).
Internet Data Mining.
Композиционные методы и корректность П3.
Разработка системы автоматизированной проверки программ.
Разработка Web-ориентированной системы поддержки учебного процесса.
Анализ и разработка алгоритмов сравнения исходных кодов программ.

5 курс

Научный руководитель профессор Никитченко М.С.

Методы верификации реактивных систем.
Методы трансляции языков программирования и построение транслятора с языка RECON.
Разработка и реализация языков запросов композиционных баз данных.
Автоматизация доказательств теорем темпоральных логик
Дедуктивные методы верификации программных систем.

Научный руководитель профессор Лаврищева К.М.

Методы тестирования программных систем.
Модели надежности и их использование для оценки показателя надежности программных систем.
Управление проектами.
Методология генерирующего программирования.
Языки описания доменов.
Инженерия доменов и приложений.
Язык-ориентированное программирование.

Научный руководитель доцент Бойко Б.И.

CASE-средства конструирования информационных систем. Опыт внедрения и использования
Средства обработки изображений, хранящихся в БД фрагментарно.
Разработка системы проектирования интерактивных учебных курсов по информационным технологиям.

Научный руководитель доцент Волохов В.М.

Технологии СУБД на компьютерных сетях.
Сетевые технологии. Протоколы локальных сетей и сетевые ОС.
Технологии «клиент-сервер» на примере программных продуктов.

Научный руководитель доцент Кузенко В.Ф.

Разработка клиент-серверных систем на основе COM -технологии.
Разработка клиент-серверных систем на основе CORBA -технологии.
Спецификация ( UML ) и реализация программных систем.
Спецификация ( UML ) и реализация ERP -систем.
Использование Rational Unified Process ( RUP ) при разработке программных систем.
CASE -средства ( Microsoft , Borland , IBM Rational ), сравнение и использование.
CASE -средства RUP .
Распределенные программные системы ( NET Remoting ).
Распределенные программные системы ( EJB ).
Web -сервисы NET .
Web -сервисы JAVA .
Средства поиска web -сервисов.
Средства рефлексии COM .
Средства рефлексии CORBA .
Средства рефлексии NET .
Взаимодействие COM - NET .
Взаимодействие NET - COM .
JAVA- технологии: JAVA KMI, JAVA EJB.

Научный руководитель доцент Шкильняк С.С.

Формальные вывода в неоклассических логиках.
редуктивных свойства логик квазиарних предикатов.
Неоклассические исчисления секвенциального типа.
Свойства секвенциального исчислений.

Научный руководитель доцент Зубенко В.В.

Дистанционное обучение на примере курса «Программирование и ОС»

6 курс

Научный руководитель профессор Никитченко М.С.

Программные логики и их реализация.
Системы доказательств свойств программ.

Научный руководитель доцент Бойко Б.И.

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