Programme Description
PROGRAMME DESCRIPTION
The double Erasmus Mundus MSc in Dependable Software Systems (DESEM) will be achieved over two years through the allocation of 120 ECTS. Each student on the integrated programme will study in two of the three partner universities and countries, achieving a diploma supplement from each university in which they accomplish 60 ECTS.
A student will achieve the double Erasmus Mundus MSc in Dependable Software Systems, through the award of any two of the diploma supplements. The overall structure of the programme is represented in Fig 2.1.
120 European Credits will be achieved through a combination of coursework and project work that will present the student with both research and industrial aspects of safety critical software and other forms of dependable software systems. DESEM students must accumulate a total of 80 ECTS (40 ECTS per year) from coursework and 40 ECTS (20 ECTS per year) from project work. Semesters I and III will normally consist of taught modules, whereas semesters II and IV will normally consist of taught modules and project work. If students choose to accumulate more than 60 ECTS in one institution, they still have to achieve 60 ECTS in the second institution to fulfil the DESEM degree requirements.
COURSE LEARNING OUTCOMES:
The overall aim of the programme is to provide students with the knowledge, skill and in-depth technical understanding of the key concepts required to design and build dependable software systems. Graduates will be equipped with the skills needed to understand, develop and apply current and emerging technologies in the world of reliable software development.
Through this Masters programme, students will experience both research and industrial practice in software development. Specific learning outcomes for each integrated programme specialisation are listed in Tables 2.4, 2.5 and 2.6.
|
Year 1 / Year 2 |
Year 2 / Year 1 |
Integrated Programme Learning Outcomes |
|
Rigorous Software Development (NUIM) |
Formal Reasoning (UL) |
Upon successful completion of this module students will be able to apply logical reasoning and rigor when developing software systems. |
Table 2.4 Integrated programme learning outcome for students attending NUIM and UL.
|
Year 1 / Year 2 |
Year 2 /Year 1 |
Integrated Learning Outcome |
|
Formal Reasoning (UL) |
Knowledge Based Systems (UStA) |
Upon successful completion of this module students will be able to exploit the interactions between knowledge based systems and logical reasoning in the development of reliable software systems. |
|
Formal Reasoning (UL) |
Distributed Systems (UStA) |
Upon successful completion of this module students will be able to apply logical reasoning in the development of reliable distributed systems. |
|
Formal Reasoning (UL) |
Software Systems (UStA) |
Upon successful completion of this module students will be able to apply logical reasoning through tools that support the construction of software systems. |
Table 2.5 Integrated programme learning outcomes for stream combinations available at UL and UStA.
|
Year 1 / Year 2 |
Year 2 / Year 1 |
Integrated Learning Outcome |
|
Rigorous Software Development (NUIM) |
Distributed Systems (UStA) |
Upon successful completion of this module students will be able to apply rigorous software development to distributed systems. |
|
Rigorous Software Development (NUIM) |
Knowledge-based Systems (UStA) |
Upon successful completion of this module students will be able to apply rigorous software development to knowledge-based systems |
Table 2.6 Integrated programme learning outcomes for stream combinations available at NUIM and UStA.
Follow this link for information on permitted Mobility Track Themes.