| 02268 Formal Aspects of Software Engineering II |
| Danish title: Formelle aspekter af software engineering II |
|
Language: English ECTS-creditpoints: 5, Internal examination.
|
|
| Recommended semester: 7th - 9th semester |
| Scope and form: Lectures where teachers and participants are expected to present a topic. Exercises and project work. |
Evaluation: Approval of coursework/reports
Two reports (50%, 50%). |
| Examination: 13-scale |
| Previous course: 49238 |
| Prerequisites: 02262 |
| Contact: Dines Bjørner, building 322, (+45) 4525 3720, db@imm.dtu.dk |
| Course URL: http://www.imm.dtu.dk/courses/02268 |
|
|
