| Code | Subject | |||
| MID1043 | Programming Paradigms | |||
| MID1002 | Formal Methods in Programming | |||
| MID1003 | Behavioral Modeling of Software Systems | |||
| MMA1011 | Mathematical Foundations of Decision-Making Process | |||
| XND1101 | Psycho-pedagogy teenagers, young people and adults | |||
| XND1102 | Design and management education programs | |||
| Code | Subject | |||
| MID1037 | Software Quality | |||
| MID1005 | Formal Methods in Parallel Programming | |||
| MID1006 | Web Services and Middleware Technology | |||
| MMA1012 | Optimization Models | |||
| XND1203 | Teaching and developments in the field teaching specialty | |||
| XND2204 | Optional Course (1) | |||
| Code | Subject | |||
| MID1007 | Rule-Based Programming | |||
| MID1009 | Decision Support Systems | |||
| MIA1000 | Methodology of Scientific Research in Computer Science | |||
| MXX4101 | Optional Course 1 | |||
| XND2305 | Practice of Education | |||
| XND2306 | Optional Course (2) | |||
| Subjects for optional course 1. | |||
| MID1008 | Workflow Systems | ||
| MIH1005 | Data Mining | ||
| Code | Subject | |||
| MID1010 | Software Architecture | |||
| MID1011 | Petri Nets in Software Modeling and Verification | |||
| MIA1001 | Research Project in Component-Based Programming | |||
| MXX4102 | Optional Course 2 | |||
| MMZ1004 | Work for Dissertation Thesis | |||
| Subjects for optional course 2. | |||
| MID1012 | Framework Design | ||
| MID1035 | Visualization and Validation in Simulation | ||