Prerequisites:None
Research methodologies applicable to the IT field as preparation for the mini-dissertation for the A Stream students.
Life-cycle and maturity models for IT
This module provides the foundations on which other modules build by enabling a deeper understanding of how software interacts with hardware.
Model Checking is a technique for automatically verifying whether a software program satisfies correctness requirements such as mutual exclusion, …
