Emne
Formelle metoder for systemspesifikasjon (DAT912)
Dette er emnebeskrivelsen for studieåret 2025-2026. Merk at det kan komme endringer.
Fakta
Emnekode
DAT912
Vekting (stp)
10
Semester undervisningsstart
Høst
Undervisningsspråk
Engelsk
Antall semestre
1
Vurderingssemester
Høst
Timeplan
Litteratur
Forkunnskapskrav
Et av følgende alternativer:
Distribuerte systemer (DAT520)
Diskret matematikk (MAT120)
Distribuerte systemer (DAT520)
Diskret matematikk (MAT120)
Eksamen / vurdering
| Vurderingsform | Vekting | Varighet | Karakter | Hjelpemiddel |
|---|---|---|---|---|
| Prosjektoppgave | 1/1 | 1 Semestre | Bestått/ Ikke bestått |
Vilkår for å gå opp til eksamen/vurdering
Muntlig presentasjon
Fagperson(er)
Emneansvarlig:
Hein MelingInstituttleder:
Tom RyenFaglærer:
Leander Nikolaus JehlÅpent for
Emnebeskrivelsen er hentet fra Felles studentsystem Versjon 1