DTU
Uddannelse
Forrige side | Gældende version Arkiv 2000/2001 
 
49248 Programmelspecifikation (kursusarbejde)
Engelsk titel: Formal Specification: Projects
Sprog: engelsk Point: 5
Type: basiskursus, udbydes under åben uddannelse
Sprog: engelsk

Tidligere kursus: C4388
Pointspærring: C4388
Faglige forudsætninger: 49238/49351
Vejledende placering: Midt i studiet.
Undervisningsform: Øvelser
Evalueringsform Rapportaflevering
Karakter: bestået/ikke bestået
Antal studerende: max. 20

Kontaktperson: Dines Bjørner, bygn. 322, tlf. 4525 3720, email db@imm.dtu.dk, http://www.imm.dtu.dk/~db
Anne Elisabeth Haxthausen, bygn. 322, tlf. 4525 7510, email ah@imm.dtu.dk, http://www.imm.dtu.dk/~ah

Kursets netadresse: http://www.it.dtu.dk/c49248
Institut: Institut for Informationsteknologi
Studieudvalg: MIFSU
Kursusmål: At give deltagerne praktisk erfaring i udarbejdelse af formelle domæne-, krav- 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: Modellering af et infrastruktur-komponent-anvendelsesdomæne, f.eks. inden for transportsektoren (jernbaner, fly, but, skib), sundhedsvæsen, fremstillingsindustri, serviceindustri (finanssektoren, oa.), mv. Specifikation og trinvis udvikling af en applikation.