Study programme for |
|
DCMAS - MSc PROGR IN DEPENDABLE COMPUTER SYSTEMS
|
Academic year: 2005/2006 |
|
|
First Year |
Explanations
|
|
|
Dept |
Course code |
Element code |
Note |
Block |
Course name, Element type |
Extent/ period |
Regular
exam |
Re-sit examination Oct -05 up to Aug -06 |
|
AUTUMN TERM |
Study period 1 |
Compulsory courses
|
37 |
EDA121 |
0103 |
|
|
Fault-tolerant computer systems, Examination |
3,0 |
15/10-2005 am M
|
07/01-2006 pm V
|
28/08-2006 am V
|
37 |
EDA262 |
0104 |
|
|
Computer security, Examination |
3,0 |
22/10-2005 pm V
|
11/01-2006 pm V
|
29/08-2006 pm V
|
37 |
TDA450 |
0102 E |
|
|
Functional programming, Examination |
4,0 |
18/10-2005 am V
|
13/01-2006 am M
|
23/08-2006 pm V
|
Recommended courses
|
Dependable Programming |
Elective courses
|
37 |
TDA281 |
0101 |
|
|
Compiler construction, Examination |
4,0 |
Contact examiner
|
|
Contact examiner
|
37 |
TDA381 |
0105 |
1) |
|
Concurrent programming, Examination |
3,0 |
21/10-2005 pm V
|
13/01-2006 pm V
|
24/08-2006 am V
|
11 |
TMA965 |
0197 E |
2) |
|
Discrete mathematics, Examination |
4,0 |
Contact examiner
|
|
|
Dependable Architectures |
|
Study period 2 |
Recommended courses
|
Dependable Architectures |
37 |
EDA111 |
0198 E |
|
|
Computer architecture, Examination |
4,0 |
12/12-2005 am M
|
19/04-2006 am V
|
23/08-2006 am V
|
37 |
EDA490 |
0204 S |
|
|
Network security, Examination |
3,0 |
16/12-2005 pm V
|
20/04-2006 am V
|
Contact examiner
|
Dependable Programming |
37 |
TDA260 |
0198 * |
|
|
Topics in computer languages, Project |
1,0 |
|
|
|
37 |
TDA340 |
0201 S |
|
|
Advanced functional programming, Laboratory |
0,0 |
|
|
|
Elective courses
|
37 |
TDA350 |
0201 S |
|
|
Cryptography, Laboratory |
0,0 |
|
|
|
37 |
TDA565 |
0204 S |
|
|
Program verification, Laboratory |
0,0 |
|
|
|
Dependable Architectures |
37 |
TDA250 |
0198 E |
|
|
Algorithms, advanced course, Examination |
4,0 |
Contact examiner
|
Contact examiner
|
|
37 |
TDA340 |
0101 |
1) |
|
Advanced functional programming, Examination |
4,0 |
Contact examiner
|
Contact examiner
|
Contact examiner
|
Dependable Programming |
37 |
EDA111 |
0198 E |
|
|
Computer architecture, Examination |
4,0 |
12/12-2005 am M
|
19/04-2006 am V
|
23/08-2006 am V
|
37 |
EDA490 |
0204 S |
|
|
Network security, Examination |
3,0 |
16/12-2005 pm V
|
20/04-2006 am V
|
Contact examiner
|
|
|
SPRING TERM |
Study period 3 |
Compulsory courses
|
37 |
TDA291 |
0101 S |
|
|
Software engineering using formal methods, Examination |
4,0 |
04/03-2006 am V
|
Contact examiner Change
|
25/08-2006 am V
|
Recommended courses
|
Dependable Architectures |
37 |
EDA420 |
0101 |
|
|
Parallel and distributed real-time systems, Examination |
2,0 |
09/03-2006 am V
|
|
Contact examiner
|
Dependable Programming |
37 |
TDA260 |
0298 * |
|
|
Topics in computer languages, Project |
1,0 |
|
|
|
Elective courses
|
37 |
TDA381 |
0205 S |
|
|
Concurrent programming, Laboratory |
2,0 |
|
|
|
37 |
TIN321 |
0205 S |
|
|
Programming languages, Laboratory |
2,0 |
|
|
|
Dependable Architectures |
Dependable Programming |
37 |
EDA280 |
0193 * |
|
|
Parallel computer systems, Examination |
2,0 |
|
|
|
37 |
EDA420 |
0201 S |
|
|
Parallel and distributed real-time systems, Written and oral assignments |
2,0 |
|
|
|
|
Study period 4 |
Recommended courses
|
37 |
TDA955 |
0198 E |
|
|
Hardware description and verification, Examination |
4,0 |
29/05-2006 am V
|
Contact examiner
|
30/08-2006 pm V
|
Dependable Architectures |
37 |
TDA296 |
0101 |
|
|
Distributed systems II, Examination |
4,0 |
22/05-2006 am V
|
|
31/08-2006 pm V
|
Dependable Programming |
37 |
TDA260 |
0298 *S |
|
|
Topics in computer languages, Project |
1,0 |
|
|
|
37 |
TDA345 |
0201 S |
|
|
Semantics of programming languages, Laboratory |
0,0 |
|
|
|
37 |
TDA600 |
0204 S |
|
|
Language-based security, Laboratory |
0,0 |
|
|
|
Elective courses
|
Dependable Architectures |
37 |
TDA345 |
0101 |
|
|
Semantics of programming languages, Examination |
4,0 |
23/05-2006 pm V
|
|
Contact examiner
|
37 |
TDA600 |
0104 |
|
|
Language-based security, Design exercise + laboratory |
4,0 |
|
|
|
Dependable Programming |
37 |
EDA280 |
0193 *E |
|
|
Parallel computer systems, Examination |
2,0 |
20/05-2006 pm V
|
|
28/08-2006 am V
|
37 |
TDA296 |
0201 S |
|
|
Distributed systems II, Laboratory |
0,0 |
|
|
|
|
|
OTHER |
Regardless of period |
|
|
DIPLOMA THESIS |
37 |
EDAX08 |
0193 |
|
|
Computer engineering, Diploma thesis |
20.0 |
|
|
|
|
1) Choose at least one of the courses TDA340, TDA381 and TIN321 |
2) Choose at least one of the courses TDA350, TMA240 and TMA965 |
* Element includes education in another quarter |
S Final grade. All elements element grades are reported before the final grade for the course can be reported.
|
E The only element in the course. Element grade and grade for the course are reported at the same time. |
|
|
|
|