Mål og innhald
Kurset gir ei innføring i metodar for spesifikasjon av programvare. Det vert lagt vekt på bruk av abstraksjon i spesifikasjon og utvikling av programvare.
Læringsutbyte/resultat
Etter fullført emne skal studentane kunne:
- definere hovudomgrepa i spesifikasjonsteorien,
- bevise dei viktigaste teorema,
- anvende algebraiske metodar til spesifikasjon av programbibliotek, og
- validera slike spesifikasjonar.
Undervisningssemester
Haust
Eksamenssemester
Det er ordinær eksamen kvart semester
Krav til studierett
For oppstart på emnet er det krav om ein studierett knytt til Det matematisk-naturvitskaplege fakultet, samt at du oppfyller ev opptakskrav
Krav til forkunnskapar
Ingen
Tilrådde forkunnskapar
Byggjer på INF121
Fagleg overlapp
I220: 10 SP
Undervisning og omfang
Undervisningsformen kan bli endret dersom det er få studenter som deltar.
Obligatoriske arbeidskrav
Godkjente obligatoriske oppgåver.
Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgende semesteret.
Obligatoriske arbeidskrav
Godkjente obligatoriske oppgåver.
Obligatoriske aktiviteter er gyldige i to semester, det semesteret aktiviteten godkjennes samt det påfølgjande semesteret.
Vurderingsformer
3 timar skriftleg eksamen. Det er høve til å gi karakter på obligatoriske oppgåver som kan inngå i sluttkarakteren. Dersom det er færre enn 20 deltakarar kan det bli muntleg eksamen.
Ingen lovlege hjelpemiddel.
Vurderingsformer
3 timar skriftleg eksamen. Det er høve til å gi karakter på obligatoriske oppgåver som kan inngå i sluttkarakteren. Dersom det er færre enn 20 deltakarar kan det bli munnleg eksamen.
Ingen lovlege hjelpemiddel.
Karakterskala
Ved sensur av emnet vert karakterskalaen A-F nytta.
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
