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


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

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

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 курс

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

  • Программные логики и их реализация.

  • Системы доказательств свойств программ.

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

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

Новини
Дошка оголошень
Цікаві факти