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


Curriculum for
Academic Year 2008/2009

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+2+0+0
E
8 cr.
MII1010 Advanced Methods of Data Analysis
2+1+1+0
E
8 cr.
MII1002 Machine Learning
2+1+1+0
E
7 cr.
MML1014 Algebraic Specification
2+2+0+0
E
7 cr.
TOTAL
8+6+2+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
MID1024 Software Metrics
2+2+0+0
E
8 cr.
MID1004 Formal Models in Programming Languages
2+1+1+0
E
8 cr.
MID1025 Software Modeling
2+0+2+0
E
7 cr.
MML1015 Temporal Logic
2+2+0+0
E
7 cr.
TOTAL
8+5+3+0=16
 
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.
MII1003 Automated Theorem Proving Systems
2+1+1+0
E
8 cr.
MIA1000 Methodology of Scientific Research in Computer Science
2+1+0+0
C
6 cr.
MXX4601 Optional Course 1
2+0+2+0
E
8 cr.
TOTAL
8+3+4+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.
MID1013 Java Technologies and Platforms for Distributed Applications
2+0+2+0
8 cr.
MID1018 Advanced Techniques in Distributed Virtual Environments
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.
MID1005 Formal Methods in Parallel Programming
2+2+0+0
E
8 cr.
MIA1006 Research Project in Formal Methods in Programming
0+0+3+0
C
6 cr.
MXX4602 Optional Course 2
2+1+1+0
E
8 cr.
TOTAL
6+4+5+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.