Mobility Track Themes

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.