Prerequisites:None
Research methodologies applicable to the IT field as preparation for the mini-dissertation for the A Stream students.
This module introduces the concepts of generic programming in order to generate code at compile-time.
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
The module exposes students to problems associated with software development on an industrial scale.