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


Curriculum for
Academic Year 2006/2007

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 (2)
0+0+1
E
3 cr.
TOTAL
6+6+3=15
  
30 cr.