De studerende vil lære en eller flere avancerede teknikker inden for modellering og analyse af programmer - 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. 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.

Kurset giver en oversigt over centrale baggrundsteknikker eller nyere resultater 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 projektrapport eller selvstændig præsentation af forskningslitteratur.

Afvigelser kan forekomme hvis det er hensigtsmæssigt for det konkrete emnevalg. Kursets konkrete emnevalg afviger fra år til år og bekendtgøres på den supplerende hjemmeside. Det detaljerede emnevalg foretages tæt på kursets afholdelse og offentliggøres på den supplerende hjemmeside. 20. april, 2022