Prijeđite na glavni sadržaj

Predavanje: "Software synthesis using automated reasoning"

Vrijeme
26.11.2012. 15:00
Lokacija
Predavaonica III. krilo

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.