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
MI253 Formal Methods in Programming
2+2+1+0
E
9 cr.
MI365 Component-Based Programming
2+2+1+0
E
9 cr.
MA264 Algebraic Specification
2+2+0+0
E
9 cr.
MV043 Project (1)
0+0+1+0
E
3 cr.
TOTAL
6+6+3+0=15
 
30 cr.

Semester 2

Code Subject
Hours: C+S+L+P
Form of Exam.
Credits
MI369 Automated Theorem Proving
2+2+1+0
E
9 cr.
MID1006 Web Services and Middleware Technology
2+2+0+0
E
9 cr.
MI368 Software modeling - new trends, concepts, technologies and tools
2+2+1+0
E
9 cr.
MV044 Project (2)
0+0+1+0
E
3 cr.
TOTAL
6+6+3+0=15
 
30 cr.