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


Curriculum for
Academic Year 2009/2010

Component-Based Programming - in English

Semester 1

Code Subject
Hours: C+S+L
Form of Exam.
Credits
MID1001 Component-Based Programming
2+1+0
E
8 cr.
MID1002 Formal Methods in Programming
2+1+0
E
8 cr.
MID1003 Behavioral Modeling of Software Systems
2+1+0
E
7 cr.
MMA1011 Mathematical Foundations of Decision-Making Process
2+1+0
E
7 cr.
TOTAL
8+4+0=16
 
30 cr.
Facultative Courses:
XND1101 Psycho-pedagogy teenagers, young people and adults
2+1+0
E
5 cr.
XND1102 Design and management education programs
2+1+0
E
5 cr.

Semester 2

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

Semester 3

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

Semester 4

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