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 ob