Modules
Courses / Modules / COMP2214 Advanced Software Modelling and Design

Advanced Software Modelling and Design

When you'll study it
Semester 2
CATS points
15
ECTS points
7.5
Level
Level 5
Module lead
Thai Hoang
Academic year
2025-26

Module overview

This module builds on the Part 1 Software Modelling and Design Course by looking at structured requirements engineering in more detail, by addressing scaling of formal modelling with Event-B through refinement and also looking at verification techniques for models and for programs.

Linked modules

Pre-requisites: COMP1202 AND COMP1216