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


Curriculum for
Academic Year 2011/2012

Formals Methods in Programming - in English

Semester 1

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MID1002 Formal Methods in Programming
2+1+0+1
E
8 cr.
MII1010 Advanced Methods of Data Analysis
2+1+0+1
E
8 cr.
MII1002 Machine Learning
2+1+0+1
E
7 cr.
MML1014 Algebraic Specification
2+1+0+1
E
7 cr.
TOTAL
8+4+0+4=16
 
30 cr.
Facultative Courses:
XND1101 Psycho-pedagogy teenagers, young people and adults
2+1+0+0
E
5 cr.
XND1102 Design and management education programs
2+1+0+0
E
5 cr.

Semester 2

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MII1003 Automated Theorem Proving Systems
2+1+0+1
E
8 cr.
MID1004 Formal Models in Programming Languages
2+1+0+1
E
8 cr.
MID1025 Software Modeling
2+1+0+1
E
7 cr.
MML1015 Temporal Logic
2+1+0+1
E
7 cr.
TOTAL
8+4+0+4=16
 
30 cr.
Facultative Courses:
XND1203 Teaching and developments in the field teaching specialty
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+0+1
E
8 cr.
MID1003 Behavioral Modeling of Software Systems
2+1+0+1
E
8 cr.
MIA1000 Methodology of Scientific Research in Computer Science
2+1+0+0
C
6 cr.
MXX4601 Optional Course 1
2+1+0+1
E
8 cr.
TOTAL
8+4+0+3=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.
MID1013 Java Technologies and Platforms for Distributed Applications
2+1+0+1
8 cr.
MID1018 Advanced Techniques in Distributed Virtual Environments
2+1+0+1
8 cr.

Semester 4

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MID1010 Software Architecture
2+1+0+1
E
8 cr.
MID1005 Formal Methods in Parallel Programming
2+1+0+1
E
8 cr.
MIA1006 Research Project in Formal Methods in Programming
0+0+3+0
C
6 cr.
MXX4602 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.