| Tidligere kursus: C4338 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4338 |
| Faglige forudsætninger: 49232/C4332 |
| Vejledende semester:
Midt i studiet. |
| Undervisningsform: Forelæsninger. Grupperegning |
| Evalueringsform:
Skriftlig eksamen
(13-skala
) |
| Kontaktperson: |
Bo Stig Hansen, IT, bygn. 344, tlf. 4525 3735E-mail: bsh@it.dtu.dk |
|
| Kursusmål: Indføring i formelle specifikationssprog, teknikker og metoder. |
| Kursusindhold: Formel specifikation med udgangspunkt i specifikationsproget RSL (RAISE Specification Language). Indføring i forskellige specifikationsteknikker: model-orienteret versus algebraisk (egenskabsorienteret); applikativ versus imperativ; sekventiel versus parallel. Strukturmekanismer. Trinvis udvikling og verifikation. Løsning af specifikationsopgaver under anvendelse af et datamatbaseret specifikations- og udviklingsværktøj. |
