Emne
Formelle metoder for systemspesifikasjon (DAT912)
Dette er emnebeskrivelsen for studieåret 2021-2022. Merk at det kan komme endringer.
Semesters
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)
Anbefalte forkunnskaper
Diskret simulering og ytelsesanalyse (DAT530), Algoritmeteori (DAT600)
Eksamen / vurdering
| Vurderingsform | Vekting | Varighet | Karakter | Hjelpemiddel | Exam system | Withdrawal deadline | Exam date |
|---|---|---|---|---|---|---|---|
| Rapport | 1/1 | Bestått/ Ikke bestått | — | — | — |
Fagperson(er)
Emneansvarlig:
Hein MelingInstituttleder:
Tom RyenFaglærer:
Leander Nikolaus JehlÅpent for
Emnebeskrivelsen er hentet fra Felles studentsystem Versjon 1