| Type: | basiskursus, udbydes under åben uddannelse
Sprog: engelsk |
|
|
Tidligere kursus: C4338
|
|
Pointspærring: C4338
|
|
|
|
Faglige forudsætninger: 49233/49232
|
|
|
|
Vejledende placering: Midt i studiet.
|
|
Undervisningsform: Forelæsninger. Grupperegning
|
|
Evalueringsform Skriftlig eksamen
|
|
Karakter: 13-skala
|
|
|
|
|
|
|
|
Kursets netadresse: http://www.it.dtu.dk/c49238
|
|
Institut: Institut for Informationsteknologi
|
|
Studieudvalg: MIFSU
|
|
Kursusmål: At indføre deltagerne i formelle specifikationssprog, teknikker og metoder, samt at give dem færdigheder i abstraktion og modellering.
|
|
Kursusindhold: Formel specifikation med udgangspunkt i specifikationsproget RSL (RAISE Specification Language). Indføring i forskellige specifikationsteknikker: model-orienteret versus algebraisk; applikativ versus imperativ. Trinvis udvikling og verifikation. Løsning af specifikationsopgaver under anvendelse af et datamatbaseret specifikations- og udviklingsværktøj.
|
