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/02161/02141/02158/02156/02157, dvs. (1) beherskelse af diskret matematik: mængder, funktioner, logiske operatorer og (2) beherskelse af programmering (herunder brug af data typer og rekursive funktioner) og kendskab til software modellering (f.eks. UML).
Funktionsprogrammering som det f.eks. kan læres i 02157 er en fordel.

Forelæsninger, opgaveregning og projektarbejde.