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

Руководитель к.т.н., доц. Пустоваров В.И.

Работа ведется на базе направлении "Обобщенные методы автоматизации программирования, системного программирования и инженерии знаний".

Теория проектирования программного обеспечения, построение систем автоматизации программирования, повышения эффективности и расширения приложений программного обеспечения систем инженерии знаний, реализация систем верификации программного обеспечения, оборудования через имитационное моделирование, формальную верификацию поведения, структур аппаратуры, представленным на языках Verilog HDL и VHDL; автоматизация разработки системного ПО для систем событийного управления, баз данных и баз знаний. Разработка теоретических основ и математических моделей для оценки эффективности программы в процессе его проектирования и существенного упрощения автоматизации подготовки и настройки программного обеспечения интеллектуальных систем.

Мы в Google+
4.6 stars(359 reviews)

Объявления

13 Сентября, 14:31
Оновлено РНП

09 Сентября, 7:12
Розклад занять для 6 курсу

09 Сентября, 7:06
Дипломникам випуску 2018 р. щодо працевлаштування

04 Сентября, 15:07
До уваги студентів-спеціалістів!

04 Сентября, 14:50
РНП для викладачів

04 Сентября, 14:43
До уваги студентів-контрактників!

01 Сентября, 7:34
Запрошуємо на MSPRoadshow

31 Августа, 14:47
Шифри груп 5 курсу

11 Августа, 16:14
Абітурієнтам на магістратуру

09 Августа, 20:51
Абітурієнтам на магістратуру

02 Августа, 21:14
Абітурієнтам на магістратуру

14 Июля, 13:14
До уваги відрахованих студентів

14 Июля, 13:13
Випускникам-бакалаврам

14 Июля, 12:54
Абітурієнтам на магістратуру

11 Июля, 12:19
Випускникам-магістрам

23 Июня, 14:40
Оновлено розділ Абітурієнту. Вступ на 5 курс

25 Октября, 14:24
ДО УВАГИ СТУДЕНТІВ, АСПІРАНТІВ ТА ВИКЛАДЧІВ ФІОТ

17 Октября, 15:35
Залік по переддипломній практиці (гр.ІО-52с та ІО-53с)

Все объявления »

RSS кафедри ОТ