The allowed mobility combinations and associated learning outcomes 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.