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.

Ova stranica koristi kolačiće

neki od tih kolačića nužni su za ispravno funkcioniranje stranice, dok se drugi koriste za praćenje korištenja stranice radi poboljšanja korisničkog iskustva.

Za više informacija pogledajte naše uvjete korištenja.

  • Kolačići koji su nužni za ispravno funkcioniranje stranice. Moguće ih je onemogućiti u postavkama preglednika.