Avancerede emner inden for modellering og verifikation

2020/2021

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 navnAvancerede emner inden for modellering og verifikation
Prøveform
Skriftlig eller mundtlig
ECTS5
Bedømmelsesform7-trins-skala
CensurIntern prøve
VurderingskriterierVurderingskriterierne er angivet i Universitetets eksamensordning

Yderligere informationer

Kontakt: Studienævn for datalogi via cs-sn@cs.aau.dk eller 9940 8854

 

Fakta om modulet

Engelsk titelAdvanced Topics in Modeling and Verification
ModulkodeDSNDATFK202
ModultypeKursus
Varighed1 semester
SemesterForår
ECTS5
UndervisningssprogDansk og engelsk
TompladsJa
UndervisningsstedCampus Aalborg
Modulansvarlig

Organisation

StudienævnStudienævn for Datalogi
InstitutInstitut for Datalogi
FakultetDet Tekniske Fakultet for IT og Design