Search programme

​Use the search function to search amongst programmes at Chalmers. The programme overview and the programme syllabus relating to your studies are generally from the academic year you began your studies.

​​​
Block schedule »   Study programme syllabus »  | Year:  1  2 
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 EDA121 0203 S Fault-tolerant computer systems, Laboratory 1,0
37 EDA262 0104  Computer security, Examination 3,0 28/10-2006 pm V 17/01-2007 pm V 28/08-2007 pm V
37 EDA262 0204 S Computer security, Laboratory 1,0
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
37 TDA260 0198 * Topics in computer languages, Project 1,0
Elective courses
37 TDA281 0101  Compiler construction, Examination 4,0 Contact examiner Contact examiner
37 TDA281 0201 S Compiler construction, Laboratory 0,0
37 TDA381 0105  1) Concurrent programming, Examination 3,0 27/10-2006 pm V 19/01-2007 pm V 24/08-2007 pm V
37 TDA381 0205 S Concurrent programming, Laboratory 2,0
11 TMA965 0197 E 2) Discrete mathematics, Examination 4,0 Contact examiner 21/08-2007 pm V
Dependable Architectures
37 TDA260 0198 * Topics in computer languages, Project 1,0
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 0104  Network security, Laboratory 1,0
37 EDA490 0204 S Network security, Examination 3,0 21/12-2006 pm V 12/04-2007 am V Contact examiner
Dependable Programming
37 TDA250 0198 E Algorithms, advanced course, Examination 4,0 Contact examiner Contact examiner Contact examiner
37 TDA260 0198 * Topics in computer languages, Project 1,0
37 TDA340 0101  1) Advanced functional programming, Examination 4,0 Contact examiner Contact examiner
37 TDA340 0201 S Advanced functional programming, Laboratory 0,0
Elective courses
37 DAT060 0106 E 2) Logic in computer science, Examination 5,0 18/12-2006 am V 10/04-2007 pm V Contact examiner
37 TDA350 0101  2) Cryptography, Examination 4,0 17/12-2006 pm V 10/04-2007 am V 22/08-2007 pm V
37 TDA350 0201 S Cryptography, Laboratory 0,0
37 TDA565 0104  Program verification, Examination 5,0 Contact examiner 12/04-2007 pm V 27/08-2007 pm V
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 Contact examiner
37 TDA260 0198 * Topics in computer languages, Project 1,0
37 TDA340 0101  1) Advanced functional programming, Examination 4,0 Contact examiner Contact examiner
37 TDA340 0201 S Advanced functional programming, Laboratory 0,0
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 0104  Network security, Laboratory 1,0
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 EDA280 0193 * Parallel computer systems, Examination 2,0
37 EDA420 0101  Parallel and distributed real-time systems, Examination 2,0 15/03-2007 am V Contact examiner Contact examiner
37 EDA420 0201 S Parallel and distributed real-time systems, Written and oral assignments 2,0
Dependable Programming
37 TDA260 0298 * Topics in computer languages, Project 1,0
Elective courses
37 TDA381 0105  1) Concurrent programming, Examination 3,0 13/03-2007 am V 24/08-2007 pm V
37 TDA381 0205 S Concurrent programming, Laboratory 2,0
37 TIN321 0105  1) Programming languages, Examination 3,0 12/03-2007 am V 15/01-2007 pm V 31/08-2007 pm V
37 TIN321 0205 S Programming languages, Laboratory 2,0
Dependable Architectures
37 TDA260 0298 * Topics in computer languages, Project 1,0
Dependable Programming
37 EDA280 0193 * Parallel computer systems, Examination 2,0
37 EDA420 0101  Parallel and distributed real-time systems, Examination 2,0 15/03-2007 am V Contact examiner Contact examiner
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 EDA280 0193 *E Parallel computer systems, Examination 2,0 26/05-2007 pm V 27/08-2007 pm V
37 TDA296 0101  Distributed systems II, Examination 4,0 28/05-2007 am M 30/08-2007 am M
37 TDA296 0201 S Distributed systems II, Laboratory 0,0
Dependable Programming
37 TDA260 0298 *S Topics in computer languages, Project 1,0
37 TDA345 0101  Semantics of programming languages, Examination 4,0 29/05-2007 pm V Contact examiner
37 TDA345 0201 S Semantics of programming languages, Laboratory 0,0
37 TDA600 0104  Language-based security, Design exercise + laboratory 4,0
37 TDA600 0204 S Language-based security, Laboratory 0,0
Elective courses
37 TMV026 0105 S Finite automata theory and formal languages, Examination 5,0 31/05-2007 am M 27/08-2007 am M
Dependable Architectures
37 TDA260 0298 *S Topics in computer languages, Project 1,0
37 TDA345 0101  Semantics of programming languages, Examination 4,0 29/05-2007 pm V Contact examiner
37 TDA345 0201 S Semantics of programming languages, Laboratory 0,0
37 TDA600 0104  Language-based security, Design exercise + laboratory 4,0
37 TDA600 0204 S Language-based security, Laboratory 0,0
Dependable Programming
37 EDA280 0193 *E Parallel computer systems, Examination 2,0 26/05-2007 pm V 27/08-2007 pm V
37 TDA296 0101  Distributed systems II, Examination 4,0 28/05-2007 am M 30/08-2007 am M
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      
37 TINX08 0193  Computer science, 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.
picture

Page manager Published: Thu 03 Nov 2022.