Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science


Curriculum for
Academic Year 2008/2009

Component-Based Programming - in English

Semester 1

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MID1001 Component-Based Programming
2+1+1+0
E
8 cr.
MID1002 Formal Methods in Programming
2+2+0+0
E
8 cr.
MID1003 Behavioral Modeling of Software Systems
2+0+2+0
E
7 cr.
MMA1011 Mathematical Foundations of Decision-Making Process
2+2+0+0
E
7 cr.
TOTAL
8+5+3+0=16
  
30 cr.
Facultative Courses:
XND1101
2+1+0+0
E
5 cr.
XND1102
2+1+0+0
E
5 cr.

Semester 2

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MID1004 Formal Models in Programming Languages
2+1+1+0
E
8 cr.
MID1005 Formal Methods in Parallel Programming
2+1+1+0
E
8 cr.
MID1006 Web Services and Middleware Technology
2+0+1+0
E
7 cr.
MMA1012 Optimization Models
2+2+0+0
E
7 cr.
TOTAL
8+4+3+0=15
  
30 cr.
Facultative Courses:
XND1203
2+1+0+0
E
5 cr.
XND2204 Optional Course (1)
1+2+0+0
E
5 cr.

Semester 3

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MID1007 Rule-Based Programming
2+1+1+0
E
8 cr.
MID1009 Decision Support Systems
2+1+1+0
E
8 cr.
MIA1000 Methodology of Scientific Research in Computer Science
2+1+0+0
C
6 cr.
MXX4101 Optional Course 1
2+2+0+0
E
8 cr.
TOTAL
8+5+2+0=15
  
30 cr.
Facultative Courses:
XND2305 Practice of Education
0+3+0+0
C
5 cr.
XND2306 Optional Course (2)
1+2+0+0
E
5 cr.
Subjects for optional course 1.
MID1008 Workflow Systems
2+2+0+0
8 cr.
MIH1005 Data Mining
2+0+2+0
8 cr.

Semester 4

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MID1010 Software Architecture
2+1+1+0
E
8 cr.
MID1011 Petri Nets in Software Modeling and Verification
2+1+1+0
E
8 cr.
MIA1001 Research Project in Component-Based Programming
0+0+3+0
C
6 cr.
MXX4102 Optional Course 2
2+1+1+0
E
8 cr.
TOTAL
6+3+6+0=15
  
30 cr.
Subjects for optional course 2.
MID1012 Framework Design
2+1+1+0
8 cr.
MID1023 Validation of Simulation
2+1+1+0
8 cr.