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 |