Code | Subject | |||
MID1002 | Formal Methods in Programming | |||
MII1010 | Advanced Methods of Data Analysis | |||
MII1002 | Machine Learning | |||
MML1014 | Algebraic Specification | |||
XND1101 | ||||
XND1102 |
Code | Subject | |||
MID1024 | Software Metrics | |||
MID1004 | Formal Models in Programming Languages | |||
MID1025 | Software Modeling | |||
MML1015 | Temporal Logic | |||
XND1203 | ||||
XND2204 | Optional Course (1) |
Code | Subject | |||
MID1007 | Rule-Based Programming | |||
MII1003 | Automated Theorem Proving Systems | |||
MIA1000 | Methodology of Scientific Research in Computer Science | |||
MXX4601 | Optional Course 1 | |||
XND2305 | Practice of Education | |||
XND2306 | Optional Course (2) |
Subjects for optional course 1. | |||
MID1013 | Java Technologies and Platforms for Distributed Applications | ||
MID1018 | Advanced Techniques in Distributed Virtual Environments |
Code | Subject | |||
MID1010 | Software Architecture | |||
MID1005 | Formal Methods in Parallel Programming | |||
MIA1006 | Research Project in Formal Methods in Programming | |||
MXX4602 | Optional Course 2 | |||
Subjects for optional course 2. | |||
MID1012 | Framework Design | ||
MID1023 | Validation of Simulation |