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. |