Forudsætninger/Anbefalede forudsætninger for
at deltage i modulet
Anbefalede faglige forudsætninger:
Kurset bygger videre på viden opnået i kurserne Syntaks og semantik
og Semantik og verifikation på bacheloruddannelsen i datalogi eller
bacheloruddannelsen i software. Eller forudsætninger svarende til
en adgangsgivende bachelor uddannelse, samt i nogle tilfælde
relevante dele af læringsmålene fra udbudte kurser på de
adgangsgivende bacheloruddannelser. Disse forudsætninger kan opnås
i starten af kurset gennem særlige aktiviteter integreret i kurset.
Modulets indhold, forløb og pædagogik
Læringsmål
Viden
- opnå viden om nyere forskning inden for avancerede matematiske
modeller til formel beskrivelse og verifikation af programmer,
softwaresystemer og programmeringssprog. Disse kan f.eks. være
Binary Decision Diagrams (BDD), SAT-algoritmer, prædikatlogik,
Petri-net, temporallogiker og mobile proceskalkyler
Færdigheder
- kunne redegøre præcist og ved brug af fagets terminologi og
notation for vigtige teorier for beskrivelse og analyse af software
systemer
- kunne anvende metoder til specifikation og verifikation, der er
baseret på formelle modeller
- kunne gøre brug af de fornødne skriftlige færdigheder i disse
sammenhænge
Kompetencer
- kunne anvende formelle modeller og hermed forbundne
verifikationsværktøjer til beskrivelse, analyse og verifikation af
softwaresystemer
Undervisningsform
Undervisningen tilrettelægges i henhold til de generelle
undervisningsformer for uddannelsen, jf. kapitel 3
Omfang og forventet arbejdsindsats
Det forventes at den studerende bruger 30 timer per ECTS,
hvilket for denne aktivitet betyder 150 timer.
Eksamen
Prøver
Prøvens navn | Avancerede emner inden for modellering og
verifikation |
Prøveform | Skriftlig eller mundtlig |
ECTS | 5 |
Bedømmelsesform | 7-trins-skala |
Censur | Intern prøve |
Vurderingskriterier | Vurderingskriterierne er angivet i Universitetets
eksamensordning |
Yderligere informationer
Kontakt: Studienævn for datalogi via
cs-sn@cs.aau.dk eller
9940 8854