Skip to Content

Теме за докторске дисертације

Истраживања у склопу израде phD дисертације су из области инжењерства софтверских језика (Software Language Engineering).

Неке од подобласти (листа је оквирна):

  • Парсирање и превођење програмских језика
  • Језици специфични за домен (Domain-Specific Languages)
  • Анализа и трансформација стабала (AST) и графова: подударање образаца (Pattern Matching), преписивање графова (Graph Rewriting).
  • Трансформације AST у текст
  • Статичка и динамичка анализа програма
  • Међурепрезентације
  • Оптимизације
  • Генерисање кода, транспајлирање, компајлирање
  • Графичке синтаксе, визуализације, планарно распоређивање
  • Пројекциони едитори
  • Метамоделовање
  • Метапрограмирање
  • Модернизација/реинжењеринг "старих" система (Legacy modernization)

Тезе у изради

Бранка Ракић: Технике оптимизације превођења модела машинског учења

Никола Стојков: Хармонизација асиметричних вишепроцесорских система различитих критичних нивоа

Владимир Инђић: Инструментација програмског кода у циљу динамичких оптимизација

Завршене тезе

Ален Суљкановић: Jезик за опис архитектурe дистрибуираних система базираних на микросервисима

Докторска дисертација се бави проблемом развоја дистрибуираних система базираних на микросервисима. Циљ докторске дисертације је убрзање развоја и побољшање квалитета оваквих система. У оквиру израде дисертације имплементиран је језик Silvera, који се од сличних решења издваја по могућности аутоматског генерисања документације, те евалуације архитектуре система помоћу посебно дефинисаних метрика. У циљу евалуације језика, спроведена је анкета заснована на FQAD радном оквиру, где је од учесника тражено да имплементирају једноставан задатак са и без коришћења Silvera језика, а потом да попуне упитник. Учесници анкете су задатак имплементирали ~124% брже када су користили Silvera језик. Уз то, коришћење Silvera језика је довело и до квалитетнијих решења, са значајно мање грешака. Креирањем Silvera језика извршена је и формализација домена моделовања архитектура дистрибуираних система базираних на микросервисима, што представља и оригинални научни допринос дисертације.

Рената Вадерна: Алгоритми и језик за подршку аутоматском распоређивању елемената дијаграма

У овом раду представљено је истраживање усмерено ка проблему аутоматског распоређивања елемената дијаграма. Проучавани су и имплементирани алгоритми за цртање графова, као и њихов аутоматски избор и конфигурација.