Kurset har til formål at introducere deltagerne til matematisk baserede metoder til udvikling af programmelsystemer og i særdeleshed at give dem færdigheder i at anvende og skrive formelle specifikationer under brug af forskellige abstraktions- og modelleringsteknikker.
Kursusindhold:
Formel specifikation med udgangspunkt i et eller flere typiske eksempler på specifikationssprog. Indføring i forskellige specifikationsteknikker: model-orienteret versus algebraisk; applikativ versus imperativ; samt process-orienteret modellering (a la CSP). Trinvis udvikling og verifikation (formel bevisførelse). Implementeringsrelationer. Løsning af specifikationsopgaver under anvendelse af datamatbaserede specifikations værktøjer. Domæne- og kravspecifikationer og udviklingsteknikker anvendt på store, typisk infrastruktur-systemer såsom transportsystemer, finans-sektor, institutioner, fremstillings-industri, offentlig og privat administration, sundhedsvæsen, m.fl.
