Emner: INF220 Programspesifikasjon - Høst 2014
Studiepoeng
10.0Undervisningsspråk
Standard undervisningsspråk er norsk. Engelsk undervisning (eventuelt supplerende undervisning) blir gitt ved behov.
Undervisningssemester
Haust
Undervisningsstad
Bergen
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
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.
Krav til forkunnskapar
Ingen
Tilrådde forkunnskapar
Byggjer på INF121
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
Undervisningsformer og omfang av organisert undervisning
Undervisningsformen kan bli endret dersom det er få studenter som deltar.
Obligatorisk undervisningsaktivitet
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 munnleg eksamen.
Ingen lovlege hjelpemiddel.
Karakterskala
Ved sensur av emnet vert karakterskalaen A-F nytta.
Fagleg overlapp
I220: 10 SP
Vurderingssemester
Det er ordinær eksamen kvart semester
Emneevaluering
Studentane skal evaluere undervisninga i tråd med UiB og instituttet sitt kvalitetssikringssystem.
Kontaktinformasjon
Forelesar og administrativ kontaktperson finn du på Mi side, kontakt ev. studiekonsulenten på instituttet.