| 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 | |
| Ingen eksamen. Udbydes ikke til re-eksamen. | |
| 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/01019/01904) . (02100/02101) . 02157 . (02141/02156/02158) , dvs. (1) beherskelse af diskret matematik: mængder, funktioner, logiske udsagn i prædikatlogik, (2)-(3) beherskelse af imperativ programmering (f.eks i Java) og funktionsprogrammering (f.eks. i F#), og (4) kendskab til datalogisk modellering. |
|
Anne Elisabeth Haxthausen , Lyngby Campus, Bygning 321, Tlf.
(+45) 4525 7510 , aeha@dtu.dk | |
| 01 Institut for Matematik og Computer Science | |
I
studieplanlæggeren |