Formelle aspekter af software engineering

• opstille en formel specifikation ud fra en uformel opgavebeskrivelse
• anvende udvalgte specifikations-stile og -teknikker til at konstruere modeller på et passende abstraktionsniveau
• trinvis forfine en specifikation
• opstille verifikationsforpligtelser (f.eks. forfiningsbetingelser og krævede systemegenskaber)
• verificere simple verifikationsforpligtelser
• oversætte en specifikation til et udførbart program
• anvende udvalgte værktøjer relateret til formelle metoder
• forklare hvad der kan opnås ved brug af formelle metoder
• kommunikere resultater på en klar og præcis måde
• løse opgaver i en gruppe påtagende sig individuelt ansvar

Formel specifikation med udgangspunkt i et eller flere typiske eksempler på specifikationssprog. Forskellige specifikationsteknikker og stile til at konstruere modeller på forskellige abstraktionsniveauer. Trinvis udvikling og verifikation.
Implementeringsrelation(er). Anvendelse af computer-baserede specifikations-værktøjer.

01017/01019/01904/02100/02101/02157/02141/02156/02158, dvs. (1) beherskelse af diskret matematik: mængder, funktioner, logiske udsagn i prædikatlogik, (2)-(3) beherskelse af imperativ programmering (f.eks i Java) og funktionsprogrammering (f.eks. i F#), og (4) kendskab til datalogisk modellering.

Forelæsninger, opgaveregning og projektarbejde.