|
Undervisningsform: Forelæsninger, opgaveregning og projektarbejde. |
Evalueringsform: Bedømmelse af opgave(r)/rapport(er)
For at få rapportopgaven bedømt, skal en eller flere opgave(r) bestås i løbet af semestret. |
| Karakter: 13-skala |
| Tidligere kursus: 49238 |
| Faglige forudsætninger: 01016, 02260 |
| Kursusmål: Kurset har til formel at introducere deltagerne til matematisk baseredemetoder 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. Trinvis udvikling og verifikation (formel bevisførelse). Implementeringsrelationer. Løsning af specifikationsopgaver under anvendelse af datamatbaserede specifikations værktøjer. Algebraisk semantik af specifikationssprog. |
| Kontaktperson: Anne Elisabeth Haxthausen, building 322, (+45) 4525 7510, ah@imm.dtu.dk |
| Institut: 002 Informatik og Matematisk Modellering |
| Kursus URL: http://www.imm.dtu.dk/courses/02268 |
| Nøgleord: Abstraktion og modellering, formelle metoder, formel specifikation, trinvis udvikling, verifikation |
| Opdateret: 11-12-2001 |
