Behörighetskrav

Kandidatexamen med Matematik 20 p/30 hp och datavetenskap 30 p/45 hp inklusive Programmeringsteknik MN2, Algoritmer och Datastrukturer DV2 och Kompilatorteknik MN1/DV1, eller motsvarande kunskaper.

Mål

För godkänt betyg ska studenten

• kunna utveckla korrekt, stabil, underhållbar och effektiv programvara,
• ha erfarenhet av processen att ta fram sådan programvara,
• kunna testa, felsöka och optimera program,
• kunna använda ändamålsenliga verktyg.

Innehåll

Tekniker och metoder för utveckling av korrekt,

stabil, underhållbar och effektiv programvara.

Dokumentation som semi-formella specifikationer av program. Kod- och

minnesprofilering som stöd för programoptimering. Programutvecklingshjälpmedel.

Studenterna genomför ett projekt i vilket ett icke-trivialt

program utvecklas från en specifikation. Andra studenter utför

kodinspektion och formell testning av programmet för att

säkerställa dess kvalite.

Undervisning

Föreläsningar, laborationer och projektarbete som redovisas i etapper.

Examination

Redovisning av uppgifter inom projektet (4,5 hp), samt skriftlig hemtentamen (3 hp). En frivillig extra tentamen ges för de som vill ha möjlighet till högre betyg.