|
||||||||||||
|
||||||||||||
Spesifikasjonsteknikkene som blir gjennomgått har lenge vært benyttet ved design av sanntidssystemer og andre distribuerte systemer. Vi konsentrerer oss om systemer av samhandlende aktører og modellerer i UML 2.0. Sekvensdiagrammer i UML står sentralt som notasjon for intuitiv og formell beskrivelse av samhandlingsmønstre. Emner som inngår er:
Kurset tar sikte på å lære studentene hvordan man lager programvare som er uangripelig i den betydning at den er lett å analysere mhp. kvalitet (særlig når det gjelder sikkerhet og pålitelighet) samtidig som den er lett å vedlikeholde. Den overordna målsetningen er å forklare hvordan praktisk programvareutvikling kan ha nytte av teorier om tilstandsmaskiner, raffinering, sikkerhetsanalyse, formell argumentasjon, og modularitet.
Studenter med studierett på program eller enkeltemner må hvert semester søke undervisningsopptak til emner i StudentWeb.
Dersom du ikke allerede har studieplass ved UiO, kan du lese om studietilbud og opptak til program, eller om muligheten for opptak til enkeltemner med ledig kapasitet.
Det kan være nyttig med kunnskaper innen modellering og innen formelle teknikker, men det er ikke noen nødvendighet.
9 studiepoeng mot INF-UIT
3 timer forelesninger per uke i høstsemesteret. Kurset har en obligatorisk oppgave som skal gjennomføres i grupper. Den obligatoriske oppgaven vil bestå av modellering, raffinering, analyse og implementering av et enkelt distribuert system. Oppgaven vil deles i flere innleveringer, som har innleveringsfrister i løpet av semesteret.
Skriftlig eller muntlig eksamen. Bokstavkarakter (A - F).
Dette emnet tilbyr ikke ny eksamen i begynnelsen av påfølgende semester til kandidater som stryker eller trekker seg under ordinær eksamen. For generelle opplysninger om ny og utsatt eksamen, se www.matnat.uio.no/studier/studieinformasjon/eksamen/kontinuasjon.html
Ved praktisering av 3-gangers regelen skal emnet sees i sammenheng med INF-UIT. Det er obligatorisk oppmøte på første forelesning.
Tilsynssensor for emnet er: Jan Ø Aagedal
Besøksadresse:
Informatikkbygningen, 2. etasje, rom 2316, Gaustadalléen 23
Postadresse:
Postboks 1080, Blindern
0316 Oslo
Ekspedisjonstid:
Mandag-fredag 12:00-15:00