Code | Subject | |||
MI253 | Formal Methods in Programming | |||
MI365 | Component-Based Programming | |||
MI366 | Advanced Compiler Design | |||
MV041 | Project (1) | |||
Code | Subject | |||
MI363 | Component-Based Development Methods | |||
MI364 | Software Metrics | |||
MID1006 | Web Services and Middleware Technology | |||
MV042 | Project (2) | |||