Study programme for |
|
DCMAS - MSc PROGR IN DEPENDABLE COMPUTER SYSTEMS
|
Academic year: 2006/2007 |
|
|
First Year |
Explanations
|
|
|
Dept |
Course code |
Element code |
Note |
Block |
Course name, Element type |
Extent/ period |
Regular
exam |
Re-sit examination Oct -06 up to Aug -07 |
|
AUTUMN TERM |
Study period 1 |
Compulsory courses
|
37 |
EDA121 |
0103 |
|
|
Fault-tolerant computer systems, Examination |
3,0 |
26/10-2006 am M
|
13/01-2007 pm V
|
27/08-2007 am M
|
37 |
EDA262 |
0104 |
|
|
Computer security, Examination |
3,0 |
28/10-2006 pm V
|
17/01-2007 pm V
|
28/08-2007 pm V
|
37 |
TDA450 |
0102 E |
|
|
Functional programming, Examination |
4,0 |
24/10-2006 am V
|
19/01-2007 am M
|
22/08-2007 am 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 |
27/10-2006 pm V
|
19/01-2007 pm V
|
24/08-2007 pm V
|
11 |
TMA965 |
0197 E |
2) |
|
Discrete mathematics, Examination |
4,0 |
Contact examiner
|
|
21/08-2007 pm V
|
Dependable Architectures |
|
Study period 2 |
Recommended courses
|
Dependable Architectures |
37 |
EDA111 |
0198 E |
|
|
Computer architecture, Examination |
4,0 |
22/12-2006 pm M
|
11/04-2007 am V
|
22/08-2007 pm V
|
37 |
EDA490 |
0204 S |
|
|
Network security, Examination |
3,0 |
21/12-2006 pm V
|
12/04-2007 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 |
0101 |
2) |
|
Cryptography, Examination |
4,0 |
17/12-2006 pm V
|
10/04-2007 am V
|
22/08-2007 pm V
|
37 |
TDA565 |
0104 |
|
|
Program verification, Examination |
5,0 |
Contact examiner
|
12/04-2007 pm V
|
27/08-2007 pm V
|
Dependable Architectures |
37 |
TDA250 |
0198 E |
|
|
Algorithms, advanced course, Examination |
4,0 |
Contact examiner
|
Contact examiner
|
Contact examiner
|
37 |
TDA340 |
0101 |
1) |
|
Advanced functional programming, Examination |
4,0 |
Contact examiner
|
Contact examiner
|
|
Dependable Programming |
37 |
EDA111 |
0198 E |
|
|
Computer architecture, Examination |
4,0 |
22/12-2006 pm M
|
11/04-2007 am V
|
22/08-2007 pm V
|
37 |
EDA490 |
0204 S |
|
|
Network security, Examination |
3,0 |
21/12-2006 pm V
|
12/04-2007 am V
|
Contact examiner
|
|
|
SPRING TERM |
Study period 3 |
Compulsory courses
|
37 |
TDA291 |
0101 S |
|
|
Software engineering using formal methods, Examination |
4,0 |
10/03-2007 am V
|
Contact examiner
|
24/08-2007 am M
|
Recommended courses
|
Dependable Architectures |
37 |
EDA420 |
0101 |
|
|
Parallel and distributed real-time systems, Examination |
2,0 |
15/03-2007 am V
|
Contact examiner
|
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 |
01/06-2007 am V
|
Contact examiner
|
29/08-2007 pm V
|
Dependable Architectures |
37 |
TDA296 |
0101 |
|
|
Distributed systems II, Examination |
4,0 |
28/05-2007 am M
|
|
30/08-2007 am M
|
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 |
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 |
|
|
|
Dependable Programming |
37 |
TDA296 |
0101 |
|
|
Distributed systems II, Examination |
4,0 |
28/05-2007 am M
|
|
30/08-2007 am M
|
|
|
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, DATXXX 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. |
|
|
|
|