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.
DD2453 Avancerade formella metoder 7,5 hp
Denna kurs är avvecklad.
Sista planerade examination: VT 2012
Avvecklingsbeslut:
Ingen information tillagdInnehåll och lärandemål
Kursinnehåll
Lärandemål
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.
Kurslitteratur och förberedelser
Särskild behörighet
Rekommenderade förkunskaper
Motsvarande 2D1452/DD2452 Formella metoder.
Utrustning
Kurslitteratur
Forskningsuppsatser. Bakgrundsmaterial.
Examination och slutförande
När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.
Betygsskala
Examination
- 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.
Övriga krav för slutbetyg
Projekt involverande hemtenta, rapport, presentation, och deltagande i workshop (PRO1; 7,5 hp).
Möjlighet till komplettering
Möjlighet till plussning
Examinator
Etiskt förhållningssätt
- 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.
Ytterligare information
Kursrum i Canvas
Ges av
Huvudområde
Utbildningsnivå
Påbyggnad
Diskutera med kursledaren.
Kontaktperson
Övrig information
Ges vartannat år.