Razumijevanje optimizacije upita u relacijskim sustavima za upravljanje bazama podataka. Sposobnost preoblikovanja korisničkih izjava u programske specifikacije i modele. Svijest o prednostima i nedostatcima pojedinih programskih specifikacija i razvojnih metodologija. Identifikacija, odabir, evaluacija i primjena razvojnih postupaka i tehnika, programskih pomagala, softverskih komponenti i programskih paketa.

1. povezati teorijske osnovice formalnih metoda oblikovanja s praktičnim postupcima
2. analizirati i klasificirati rezultate dobivene primjenom alata za formalnu verifikaciju
3. identificirati ključne elemente optimizacije upita u relacijskim sustavima za upravljanje bazama podataka
4. analizirati planove izvršavanja upita u relacijskim sustavima za upravljanje bazama podataka
5. identificirati programsko pomagalo, komponentu ili paket za razvoj određenog informacijskog sustava
6. analizirati i procijeniti odabrano programsko pomagalo, komponentu ili paket

Predavanja se provode u dva ciklusa. Prvi ciklus sadrži 7 tjedana predavanja a drugi ciklus 6 tjedana predavanja, s tjednim opterećenjem od 1 sat.

Laboratorijske vježbe izvode se u tjednima predavanja, 2 sata tjedno.

Konzultacije su organizirane u svim tjednima osim tjedana ispita.

Svaki student obrađuje po jednu temu iz domene sustava baza podataka, formalnih postupaka i razvoja informacijskih sustava.

1. Instalacija operacijskog sustava i sustava za upravljanje bazama podataka za potrebe evaluacije optimizatora upita
2. Eksperimenti s optimizatorom upita
3. Eksperimenti s optimizatorom upita
4. Eksperimenti s optimizatorom upita
5. Formalna verifikacija digitalnog sklopovlja (npr. arbitar višestrukih i paralelnih zahtjeva za resursom).
6. Formalna verifikacija kritičnih sinkronizacijskih i komunikacijskih protokola operacijskih sustava.
7. Formalna verifikacija komunikacijskih protokola u raspodijeljenim sustavima.
8. Provjera znanja
9. Evaluacija arhitekture programske podrške
10. Procjena mogućnosti programske potpore
11. Pregled procesa razvoja programske potpore
12. Kriteriji nabave programske potpore
13. Metrike produktivnosti programske potpore
14. Prakse za evaluaciju i selekciju CASE pomagala
15. Završna provjera znanja