Kort om emnet

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:

  • teoretisk fundament for UML
  • grunnleggende raffineringsbegreper i en UML kontekst
  • modularitet ved hjelp av kontrakts-orientert spesifikasjon
  • modellbasert sikkerhetsanalyse

Hva l?rer du?

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.

Opptak og adgangsregulering

Studenter m? hvert semester s?ke og f? plass p? undervisningen og melde seg til eksamen i Studentweb.

Dersom du ikke allerede har studieplass ved UiO, kan du s?ke opptak til v?re studieprogrammer, eller s?ke om ? bli enkeltemnestudent.

Forkunnskaper

Anbefalte forkunnskaper

Det kan v?re nyttig med kunnskaper innen modellering og innen formelle teknikker, men det er ikke noen n?dvendighet.

Overlappende emner

Undervisning

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. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver.

Eksamen

Dette emnet har digital eksamen. Skriftlig eller muntlig eksamen. Alle obligatoriske oppgaver m? v?re godkjente for ? kunne g? opp til eksamen.

Hjelpemidler

Alle trykte og skrevne hjelpmidler er tillatt.

Eksamensspr?k

Eksamensoppgaven gis kun p? engelsk n?r undervisningen er p? engelsk.

Karakterskala

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.

Begrunnelse og klage

Adgang til ny eller utsatt eksamen

Studenter som dokumenterer gyldig frav?r fra ordin?r eksamen, kan ta utsatt eksamen i starten av neste semester.

Det tilbys ikke ny eksamen til studenter som har trukket seg under ordin?r eksamen, eller som ikke har best?tt.

Trekk fra eksamen

Det er mulig ? ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensfors?k.

Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner: INF-UIT.

Annet

Det er sterkt anbefalt ? m?te p? f?rste forelesning fordi det vil bli gitt viktig informasjon.

Fakta om emnet

Studiepoeng
10
Niv?
Master
Undervisning
Hver h?st
Eksamen
Hver h?st

Eksamen siste gang h?st 2018 eller h?st 2019 for de som har alle obliger godkjent fra f?r.

Undervisningsspr?k
Norsk (engelsk p? foresp?rsel)