Code | Subject | |||
MID1002 | Formal Methods in Programming | |||
MII1010 | Advanced Methods of Data Analysis | |||
MII1002 | Machine Learning | |||
MML1014 | Algebraic Specification | |||
XND1101 | Psycho-pedagogy teenagers, young people and adults | |||
XND1102 | Design and management education programs |
Code | Subject | |||
MII1003 | Automated Theorem Proving Systems | |||
MID1004 | Formal Models in Programming Languages | |||
MID1025 | Software Modeling | |||
MML1015 | Temporal Logic | |||
XND1203 | Teaching and developments in the field teaching specialty | |||
XND2204 | Optional Course (1) |
Code | Subject | |||
MID1007 | Rule-Based Programming | |||
MID1003 | Behavioral Modeling of Software 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 | |||
MMZ1004 | Work for Dissertation Thesis |
Subjects for optional course 2. | |||
MID1012 | Framework Design | ||
MID1035 | Visualization and Validation in Simulation |