| Tidligere kursus: C4388 |
| Udbydes af:
Institut for Informationsteknologi
(IT) |
| Pointspærring: C4388 |
| Faglige forudsætninger: 49238/49351 |
| Vejledende semester:
Midt i studiet. |
| Undervisningsform: Øvelser |
| Evalueringsform:
Rapportaflevering
(
bestået/ikke bestået
) |
| Kontaktperson: |
Bo Stig Hansen, IT, bygn. 344, tlf. 4525 3735E-mail: bsh@it.dtu.dk |
|
| Kursusmål: At give deltagerne praktisk erfaring i udarbejdelse af formelle domæne- og programmelspecifikationer og systematisk afledning af realiseringsforslag på grundlag af specifikationer. |
| Kursusindhold: Individuelle opgaver i fortsættelse af et af forudsætningskurserne. Mulige emner kan være: Formel specifikation af begreber og faciliteter i operativsystemer, databasesystemer og applikationer på grundlag af foreliggende uformel beskrivelse. Modellering af et anvendelsesdomæne, f.eks. inden for transport- eller produktionssektoren. |
