| Tidligere kursus: C4338 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4338 |
| Faglige forudsætninger: 49233/49232 |
| Vejledende semester:
Midt i studiet. |
| Undervisningsform: Forelæsninger. Grupperegning |
| Evalueringsform:
Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Anne Haxthausen, IT, bygn. 345, tlf. 4525 7510 E-mail: ah@it.dtu.dk |
|
| 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. |
