Modulets indhold, forløb og pædagogik

Læringsmål

Viden

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

• Binary Decision Diagrams (BDD)
• SAT-algoritmer
• prædikatlogik
• Petri-net, temporal logikker
• 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 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

Kompetencer

• kunne anvende formelle modeller og hermed forbundne verifikations værktøjer til beskrivelse, analyse og verifikation af softwaresystemer

Undervisningsform

Undervisningen tilrettelægges i henhold til de generelle undervisningsformer for uddannelsen jf. § 17.

Omfang og forventet arbejdsindsats

Det forventes at den studerende bruger 30 timer per ECTS, hvilket for denne aktivitet betyder 150 timer.

Eksamen

Prøver

Yderligere informationer

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