|
02262 Formelle aspekter af software engineering I |
| Engelsk titel: Formal Aspects of Software Engineering I |
|
Sprog: Engelsk Point: 10, Intern censur.
|
|
| Type: civilkursus (initiativ), udbydes under åben uddannelse |
|
Eksamensplacering: |
Ingen eksamen i den ordinære eksamensperiode
|
|
Vejledende placering: Midt i studiet. |
|
Undervisningsform: Forelæsninger, opgaveregning og projektarbejde. |
Evalueringsform: Bedømmelse af opgave(r)/rapport(er)
Der udarbejdes 2 rapporter som vægtes ligeligt (50%, 50%). |
| Karakter: 13-skala |
| Tidligere kursus: 49238 |
| Faglige forudsætninger: 02140 Det forudsættes at man har gennemført Informatikfagpakken (98161). |
| Kontaktperson: Anne Elisabeth Haxthausen, building 322, (+45) 4525 7510, ah@imm.dtu.dk |
| Kursus URL: http://www.imm.dtu.dk/courses/02262 |
|
|
