Diplomová práce v programu, specializaci Ostatní / Nespecifikováno.
1. Analyzujte principy metodiky Specification-Driven Development (SDD) a možnosti zapojení umělé inteligence do vývoje softwaru.
2. Proveďte srovnání existujících open-source nástrojů podporujících SDD.
3. Navrhněte architekturu nebo postup pro zpracování formálních specifikací a generování implementačních výstupů pomocí AI.
4. Implementujte funkční prototyp demonstrující navržené řešení v praxi.
5. Otestujte vytvořený prototyp na vybraných ukázkových scénářích a demonstrujte jeho funkčnost na konkrétním příkladu.
6. Výsledné řešení a přínos tohoto přístupu kriticky zhodnoťte.
**************
Technický konzultant za RTsoft: Bc. Martin Hora
Oponent za RTsoft: Ing. Jan Hinterholzinger
Téma vypsal: Ing. Martin Dostal, Ph.D. (UN 307)
Externí téma:Vypsáno pro akademický rok 2026/2027 dne: 2026-05-27
Zadáno komu: Xuan Minh Vu Do (Zadané)