| Tidligere kursus: C4351 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4351 |
| Faglige forudsætninger: 49238/C4338 |
| Vejledende semester:
Sidst i studiet. |
| Undervisningsform: Forelæsninger og rapportfremlæggelse. Seminarkursus, hvor deltagerne selv fremlægger stoffet. |
| Evalueringsform:
Rapportaflevering (vægtes med ½) og mundtlig fremlæggelse (vægtes med ½) skal bestås hver for sig
(
bestået/ikke bestået
) |
| Kontaktperson: |
Bo Stig Hansen, IT, bygn. 344, tlf. 4525 3735E-mail: bsh@it.dtu.dk |
|
| Kursusmål: At give indsigt i anvendelse af matematisk baserede specifikationssprog som et redskab i programmeludviklingsprocessen. |
| Kursusindhold: De konkrete emner kan skifte fra år til år, men vil typisk dække et bredt spektrum rækkende fra domæne-analyse og krav-specifikation til design og implementering af programmel. |
