Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Master
SUBJECT

Code	Subject	
MID1025	Software Modeling	

Section	Semester	Hours: C+S+L	Category	Type	
Formals Methods in Programming - in English	2	2+0+2	speciality	compulsory	

Teaching Staff in Charge	Lect. CHIOREAN Ioan Danut, Ph.D., chiorean@cs.ubbcluj.ro	
Aims		
Content		
Bibliography		
Assessment