Code | Subject | |||
MI253 | Formal Methods in Programming | |||
MI365 | Component-Based Programming | |||
MA264 | Algebraic Specification | |||
MV043 | Project (1) | |||
Code | Subject | |||
MI369 | Automated Theorem Proving | |||
MID1006 | Web Services and Middleware Technology | |||
MI368 | Software modeling - new trends, concepts, technologies and tools | |||
MV044 | Project (2) | |||