Forelæsninger ved lærerne eventuelt suppleret med præsentationer ved deltagerne.
Kursets varighed:
3-uger
Evalueringsform:
Hjælpemidler:
Bedømmelsesform:
Faglige 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 består normalt af to dele; begge er forskellige fra år til år. Første del omfatter avancerede metoder til statisk analyse og/eller modeltjek. Anden del omfatter nye forskningsartikler.
De studerende skal løse et antal opgaver i første del af kurset og præsentere en artikel i anden del.
Ændringer kan foretages hvis valget af emner fordrer det.
