Osposobljavanje studenata za efikasno i efektivno modedlovanje i specifikaciju softverskih sistema. Ovladavanje znanjima i veštinama neophodnim za analizu i specifikaciju softverskih zahteva. Ovladavanje osnovama model baziranog dizajna. Ovladavanje UML-specifikacijama.

Po okončanju predmeta studenti su osposobljeni za: analizu složenih sistema, specifikaciju zahteva prema sistemu i softveru i primenu UML-formalizama prilikom modelovanju statičkog i dinamičkog ponašanja sistema i softvera. U sklopu predmeta studenti ovladavaju raspoloživim, UML baziranim, komercijalnim alatima za modelovanje softvera i formalnu specifikaciju statičkog i dinamičkog ponašanja sistema i softvera i modelovanje arhitekture softvera.

Osnovni model softverskog sistema. Odnos specifikacije zahteva, specifikacije dizajna i implementacije softverskih sistema. Osnovi inženjerstva zahteva, proces, iskazivanje, analiza, specifikacija, verifikacija i validacija zahteva. Izrada formalnog dokumenta - specifikacija zahteva. Osnovi dizajna softvera, statičko i dinamičko modelovanje. Osnove UML, struktura, organizacija i meta-model. UML dijagrami: dijagram slučajeva korišćenja, dijagrami klasa, dijagrami objekata, dijagrami saradnje, dijagrami sekvence, dijagrami aktivnosti, dijagrami stanja. Napredno UML modelovanje: interfejsi, paketi i modelovanje fizičke arhitekture.Arhitektonski i dizajn šabloni i njihova primena u modelovanju arhitekture softverskih sistema.

U sklopu teorijskog dela nastavnog procesa, paralelno sa uvođenjem znanja i veština vezanih za specifikaciju i modelovanje sistema i softvera, studenti formiraju projektne timove od 3 do 5 članova i u timskom radu uvežbavaju usvojeno na projektu složenih događajima upravljanog programskog alata. Projekat razmatra događajima upravljani sistem i njegovo modelovanje je prepušteno projektnim timovima. U sklopu predavanja timovi saopštavaju izveštaje o progresu na projektu.U sklopu praktičnog dela kursa studenti brane svoja projektna rešenja. Pored modela element primopredaje predstavlja prototip programskog proizvoda specificiranog u sklopu razvijenih modela.