Den studerende skal 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
kunne redegøre præcist og ved brug af fagets terminologi og notation for vigtige teorier for beskrivelse og analyse af softwaresystemer;
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æng
Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen jf. § 17.
Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 150 timer.
Prøvens navn | Udvalgte 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 |
Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854
Engelsk titel | Selected Topics in Modelling and Verification |
Modulkode | DSNDATFK214 |
Modultype | Kursus |
Varighed | 1 semester |
Semester | Forår
|
ECTS | 5 |
Undervisningssprog | Dansk og engelsk |
Tomplads | Ja |
Undervisningssted | Campus Aalborg |
Modulansvarlig |
Studienævn | Studienævn for Datalogi |
Institut | Institut for Datalogi |
Fakultet | Det Tekniske Fakultet for IT og Design |