De studerende vil få kendskab til en eller flere avancerede teknikker til program analyse - dette komplementerer deres tidligere kendskab til analyse teknikker og giver dem baggrund for at vurdere hvilken tilgangsvinkel der skal foretrækkes i en given situation.
Se den engelse beskrivelse for læringsmål.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Se den engelske beskrivelse.
Se den engelske beskrivelse.
Se den engelske beskrivelse.
Se den engelske beskrivelse.
Se den engelske beskrivelse.
Se den engelske beskrivelse.
Se den engelske beskrivelse.
Se den engelske beskrivelse.
Kursusindhold:
Kurset består af to dele; begge kan variere fra år til år. Den første del dækker avancerede teknikker til program analyse, som f.eks. abstrakt fortolkning og type og effekt systemer. Den anden del tager udgangspunkt i nye forskningsartikler indenfor et aktuelt forskningsområde.
De studerende forventes at løse en række mindre opgaver og derudover at designe og udvikle et software værktøj som støtter op om en eller flere at de teknikker som introduceres i kurset.
