курсовые и дипломные
Темы курсовых и дипломных работ для студентов кафедры
теории и технологии программирования
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 курс
Научный руководитель профессор Никитченко М.С.
-
Программные логики и их реализация.
-
Системы доказательств свойств программ.
Научный руководитель доцент Бойко Б.И.
- Динамическая генерация запросов к табличных баз данных и информационный поиск слабо структурированной информации.
-
Инструментальные средства разработки интерактивных учебных курсов по информационным системам.