Forelæsninger ved lærerne eller gæster - typisk suppleret med
en rapportopgave eller præsentationer ved deltagerne.
Kursets varighed:
3-uger
Evalueringsform:
Hjælpemidler:
Bedømmelsesform:
Anbefalede forudsætninger:
Overordnede kursusmål:
De studerende vil lære en eller flere avancerede teknikker inden
for modellering, programanalyse og modeltjek - hvorved deres
tidligere viden om modellering og analyse teknikker komplementeres
og de får mulighed for at vurdere brugbarheden af forskellige
teknikker i forskellige sammenhænge.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
forklare de basale begreber;
finde små eksempler der kan bruges til at afklare den præcise
virkemåde af teknikkerne;
foretage mindre tilpasninger af de metoder der dækkes;
diskutere de metoder der er dækket og klart angive ligheder og
forskelle;
vurdere metodernes svagheder og styrker;
vurdere en videnskabelig artikel;
kommunikere sine resultater på en klar og præcis måde;
give en præsentation målrettet en given
tilhørerskare;
Kursusindhold:
Kurset giver en oversigt over centrale baggrundsteknikker eller
nyere forskningsresultater inden for modellering og avancerede
analyse teknikker for IT systemer.
Kurset kræver en del deltageraktivitet som afhængigt af kursets
tilrettelæggelse kan bestå i udarbejdelse af forskningsrelateret
projektrapport eller selvstændig præsentation af
forskningslitteratur.
Afvigelser kan forekomme hvis det er hensigtsmæssigt for det
konkrete emnevalg.
Litteraturhenvisninger:
Kursets konkrete emnevalg afviger fra år til år og bekendtgøres på
den supplerende hjemmeside.
Bemærkninger:
Det detaljerede emnevalg foretages tæt på kursets afholdelse og
offentliggøres på den supplerende hjemmeside.
