Mål:
Emnet gjev innsikt i formell spesifikasjon av programvare, domeneanalyse og -organisering.

 Innhald:
Emnet gjev ei innføring i metodar for spesifikasjon av programvare. Det vert lagt vekt på bruk av abstraksjon i spesifikasjon, utvikling av domeneforståing og programvare.

Studenten skal ved avslutta emne ha følgjande læringsutbyte definert i kunnskapar, ferdigheiter og generell kompetanse:

Kunnskapar
Studenten

• kan definere dei viktigaste omgrepa i spesifikasjonsteorien,
• kan bevise dei viktigaste teorema, og
• kjenner standardspesifikasjonar av mange formelle omgrep.

 Ferdigheiter
Studenten

• beherskar ein spesifikasjonsformalisme,
• kan foreta domeneanalyse og -organisering,
• kan bruke algebraiske metodar til spesifikasjon av programbibliotek, og
• kan validere implementasjonar av slike spesifikasjonar.

Generell kompetanse
Studenten

• kan planlegge og gjennomføre arbeidsoppgåver innan formell spesifikasjon og domeneanalyse, aleine og som deltakar i ei gruppe,
• kan innanfor fagområdet formidle sentralt fagstoff som teoriar, problemstillingar og løysingar både skriftleg, munnleg og gjennom andre relevante uttrykksformer, og
• kan utveksle synspunkt og erfaringar med andre med bakgrunn innanfor fagområdet og gjennom dette bidra til utvikling av god praksis.

Undervisninga gjevast i form av førelesningar, laboratoriegrupper, kollokvium, sjølvstudium, individuelle oppgåver og lagarbeidsoppgåver, til saman ca. 270 studietimar.

Inntil 6 timar per veke i 13 veker med organiserte førelesningar og laboratoriegrupper.

Studierettleiar kan kontaktast her:

mailto:studieveileder@ii.uib.nostudierettleiar

Tlf 55 58 42 00