| Formal Aspects of Software Engineering | |
| Engelsk | |
| 5 | |
Kandidat Kurset udbydes som enkeltfag |
| E1A (man 8-12)
| |
| Campus Lyngby | |
| Forelæsninger, opgaveregning og projektarbejde. | |
| 13-uger | |
| E1A, Ingen eksamen i den ordinære eksamensperiode | |
| Bedømmelse af opgave(r)/rapport(er)
Bedømmelse af individualiserede grupperapporter. Der vil være en obligatorisk opgave og et obligatorisk projekt. En godkendt opgave er en betingelse for at deltage i projektet. Karakteren gives baseret på projektrapporten. | |
| Alle hjælpemidler er tilladt | |
| 7-trins skala , intern bedømmelse | |
| 01017/01904 . 02161/02141/02158/02156/02157 , dvs. (1) beherskelse af diskret matematik: mængder, funktioner, logiske operatorer og (2) beherskelse af programmering (herunder brug af data typer og rekursive funktioner) og kendskab til software modellering (f.eks. UML). Funktionsprogrammering som det f.eks. kan læres i 02157 er en fordel. |
|
Anne Elisabeth Haxthausen , Lyngby Campus, Bygning 322, Tlf.
(+45) 4525 7510 , aeha@dtu.dk | |
| 01 Institut for Matematik og Computer Science | |
| http://www2.imm.dtu.dk/courses/02263 | |
I
studieplanlæggeren |