| 02262 Formal Aspects of Software Engineering I |
| Danish title: Formelle aspekter af software engineering I |
|
Language: English ECTS-creditpoints: 10, Internal examination.
|
|
| Recommended semester: 4th -7th semester |
| Scope and form: Lectures, exercises and project work. |
Evaluation: Approval of coursework/reports
Two reports (50%, 50%). |
| Examination: 13-scale |
| Previous course: 49238 |
| Prerequisites: 02140 Prerequisites corresponding to the "Informatikfagpakken (98161)" is required. |
| Contact: Anne Elisabeth Haxthausen, building 322, (+45) 4525 7510, ah@imm.dtu.dk |
| Course URL: http://www.imm.dtu.dk/courses/02262 |
|
|
