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


Curriculum for
Academic Year 2005/2006

Formals Methods in Programming - in English

Semester 1

Code Subject
Hours: C+S+L
Form of Exam.
Credits
MI253 Formal methods in programming
2+2+1
E
9 cr.
MI365 Component-based programming
2+2+1
E
9 cr.
MA264 Algebrical specification
2+2+0
E
9 cr.
MV043 Project (1)
0+0+1
E
3 cr.
TOTAL
6+6+3=15
  
30 cr.

Semester 2

Code Subject
Hours: C+S+L
Form of Exam.
Credits
MI369 Automated theorem proving
2+2+1
E
9 cr.
MI255 Programming in Internet
2+2+0
E
9 cr.
MI368 Software modeling - new trends, concepts, technologies and tools
2+2+1
E
9 cr.
MV044 Project (1)
0+0+1
E
3 cr.
TOTAL
6+6+3=15
  
30 cr.