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 programanalyse og modeltjek - hvorved deres tidligere viden om
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 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.
