DD2453 Avancerade formella metoder 7,5 hp

De studerande väljer mellan ett antal miniprojekt som erbjuds av kurshandledarna i början av kursen. Varje miniprojekt baseras på att den studerande ska läsa, förstå, och använda resultat från någon forskningsuppsats inom området. Med denna bakgrund ska de studerande exempelvis utföra en fallstudie, adaptera tekniken till något specifikt syfte, implementera en algoritm, rekonstruera ett bevis, eller på annat sätt validera eller applicera uppsatsens resultat. Kursen inleds med ett antal föreläsningar som introducerar tekniker av särskilt relevans för kursen. Detta moment avslutas med en hemtenta. För projektarbetet kan det bli aktuellt att spåra upp annan litteratur inom området, eller på annat tillägna sig nödvändig bakgrundskunskap. Resultaten av arbetet presenteras på en endags workshop vid kursens slut.

Syftet med kursen är att sätta de studerande i nivå med state-of-the-art inom någon utvald del av området formell modellering och analys, samt att träna de studerande i forskningsmetodik och presentationsteknik. Vid kursens slut ska de studerande ha demonstrerat att de är kapabla att tillägna sig någon state-of-the-art teknik som den presenteras i en aktuell forskningsuppsats, analysera uppsatsen med avseende på korrekthet, applicerbarhet, och begränsningar, presentera uppsatsen i seminarform, använda och applicera tekniken för något specifikt syfte, samt presentera resultaten av arbetet i ett workshopliknande forum.

Motsvarande 2D1452/DD2452 Formella metoder.

Forskningsuppsatser. Bakgrundsmaterial.

När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

• PRO1 - Projekt, 7,5 hp, betygsskala: A, B, C, D, E, FX, F

Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

Projekt involverande hemtenta, rapport, presentation, och deltagande i workshop (PRO1; 7,5 hp).

Mads Dam

• Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
• Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
• Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.

Diskutera med kursledaren.

Ges vartannat år.