Aftales med læreren
Ingen eksamen i den ordinære eksamensperiode
Evalueringsform:
Bedømmelsesform:
Faglige forudsætninger:
Overordnede kursusmål:
Dette kursus er en fortsættelse af kursus 02262. Derfor: Kurset har til formål at viderføre deltagerne i matematisk baserede metoder til udvikling af programmelsystemer og i særdeleshed at give dem yderligere færdigheder i at anvende og skrive formelle specifikationer under brug af forskellige abstraktions- og modelleringsteknikker.
Kurserne 02262 og 02268 skal ses som et komplement til kursus 02260: Software Engineering. Hvor 02260 behandler emnet Software Engineering uformelt, dog systematik, men i udvalg, dækker kurserne 02262 og 02268 samme emner, i stærkt udvidet form og mere formelt.
Kursusindhold:
(1) Hvor kursus 02262 fokuserer på abstraktions-og modellerings principper, teknikker og værktøj, og på disses anvendelse på DOMÆNE-beskrivelse, fokuserer kursus 02268 på deraf afledte KRAV-definitioner og programmel-specifikationer. (2) Hvor kursus 02262 primært fokuserer på RAISE specifikationssproget RSL vil kursus 02268 yderligere inddrage brug af andre specifikationssprog samt teorier for specifikationssprog i almindelighed. (3) Endelig vil kursus 02268 fortsætte med andre aktuelle forskningsemner indenfor formelle metoder.