| Code | Subject | Hours: C+S+L+P | Form of Exam. | Credits |
|---|---|---|---|---|
| MID1043 | Programming Paradigms | 2+1+0+1 | E | 8 cr. |
| MID1002 | Formal Methods in Programming | 2+1+0+1 | E | 8 cr. |
| MID1003 | Behaviour Modelling of Software Systems | 2+1+0+1 | E | 7 cr. |
| MMA1011 | Mathematical Foundations of Decision-Making Process | 2+1+0+1 | E | 7 cr. |
| TOTAL | 8+4+0+4=16 | 30 cr. | ||
| Code | Subject | Hours: C+S+L+P | Form of Exam. | Credits |
|---|---|---|---|---|
| MID1037 | Software Quality | 2+1+0+1 | E | 8 cr. |
| MID1046 | Models in Parallel Programming | 2+1+0+1 | E | 8 cr. |
| MID1006 | Web Services and Middleware Technology | 2+1+0+1 | E | 7 cr. |
| MMA1012 | Optimization Models | 2+1+0+1 | E | 7 cr. |
| TOTAL | 8+4+0+4=16 | 30 cr. | ||
| Code | Subject | Hours: C+S+L+P | Form of Exam. | Credits |
|---|---|---|---|---|
| MID1007 | Rule-Based Programming | 2+1+0+1 | E | 8 cr. |
| MID1009 | Decision Support Systems | 2+1+0+1 | E | 8 cr. |
| MIA1000 | Methodology of Scientific Research in Computer Science | 2+1+0+0 | C | 6 cr. |
| MXX4101 | Optional Course 1 | 2+1+0+1 | E | 8 cr. |
| TOTAL | 8+4+0+3=15 | 30 cr. | ||
| Subjects for optional course 1 | |||
| MID1008 | Workflow Systems | 2+1+0+1 | 8 cr. |
| MIH1005 | Data Mining | 2+1+0+1 | 8 cr. |
| MID1039 | Requirements Engineering | 2+1+0+1 | 8 cr. |
| Code | Subject | Hours: C+S+L+P | Form of Exam. | Credits |
|---|---|---|---|---|
| MID1010 | Software Architecture | 2+1+0+1 | E | 8 cr. |
| MID1011 | Petri Nets in Software Modeling and Verification | 2+1+0+1 | E | 8 cr. |
| MIA1001 | Research Project in Component-Based Programming | 0+0+3+0 | C | 6 cr. |
| MXX4102 | Optional Course 2 | 2+1+0+1 | E | 8 cr. |
| TOTAL | 6+3+3+3=15 | 30 cr. | ||
| Other Compulsory Courses | ||||
| MMZ1004 | Work for Dissertation Thesis | 0+0+0+5 | C | - |
| Subjects for optional course 2 | |||
| MID1012 | Framework Design | 2+1+0+1 | 8 cr. |
| MID1035 | Visualization and Validation in Simulation | 2+1+0+1 | 8 cr. |
| MID1025 | Software Modeling | 2+1+0+1 | 8 cr. |