Emne - Formelle metoder 2 - TM8108
TM8108
Formelle metoder 2
Undervises ikke studieåret 2010/2011
Studiepoeng
7,5
Nivå
Doktorgrads nivå
Undervisningsspråk
Engelsk og norsk
Vurderingsordning
Muntlig eksamen
Om
Om emnet
Faglig innhold
Emnet undervises annet hvert år, neste gang vår 2012.
Emnet fordyper og utvider metoder og teori fra Formelle Metoder i selvstudier. Spesielt vuderes metoder for utvikling av korrekt programvare med hjelp av temporallogik.
Læringsutbytte
Styrke metode- og teorigrunnlag for systemutvikling med formelle metoder.
Læringsformer og aktiviteter
Ledet selvstudium.
Anbefalte forkunnskaper
PhD kurs Formelle metoder - TM 8103
Kursmateriell
P. Herrmann, H. Krumm, A Framework for Modeling Transfer Protocols,
Computer Networks, 34, 2, 2000, 317-337.
Videre utdrag fra lærebøker og tidsskiftartikler bestemmes ved kursstart.
Fagområder
- Telematikk
Kontaktinformasjon
Ansvarlig enhet
Institutt for informasjonssikkerhet og kommunikasjonsteknologi
Eksamen
Eksamen
Vurderingsordning: Muntlig eksamen
Karakter: Bokstavkarakterer
Ordinær eksamen - Høst 2010
Muntlig
Vekting
100/100
Dato
13.12.2010