Softverska sinteza je tehnika za automatsko generiranje programskog koda iz zadane specifikacije. Cilj softverske sinteze je olakšanje izrade softvera, povećanje produktivnosti programera i valjanosti proizvedenog koda.

U ovom predavanju prof. Piskac će prezentirati pristup sintezi koji se oslanja na korištenje automatskih procedura rasuđivanja i odlučivanja i opisat će kako generalizirati procedure odlučivanja u predvidljive i kompletne procedure sinteze.