Avancerede Analyseteknikker

• 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 teknikker eller nyere resultater inden for formelle modellering og 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.

Studerende forventes at være bekendt med formelle metoder.

Forelæsninger ved lærerne og/eller deltagerne, suppleret med en rapportopgave.

Det detaljerede emnevalg foretages tæt på kursets afholdelse og offentliggøres på den supplerende hjemmeside.