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

Code	Subject	
MV044	Project (2)	

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

Teaching Staff in Charge	Prof. FRENTIU Militon, Ph.D., mfrentiu@cs.ubbcluj.ro	
Aims	- To complete a significant (Pascal, C ++ or Java) program, going through all programming activities (specification, design, coding, verification of these activities, validation, and documetation) 
- To elaborate a clear and complete documentation, and to respect the schedule of a project.	
Content	- Each student must construct a software product, going through all steps of the project: specification, design,	coding, verification for each step: (inspection, testing)
- Writing a documentation for each step;
- Writing a documentation for possible users	
Bibliography	1. M.Frentiu, Verificarea corectitudinii programelor, Ed. Univ. Petru Maior, 2001.
2. FENTON N.E., Software Metrics. A Rigorous Approach, International Thomson Computer Press, 1995, 332 pages.
3. GOLDSACK S.J., S.J.H.KENT, Formal Methods and Object Technology, Springer-Verlag, 1986.
4. LANO K., Formal Object-Oriented Development, Springer-Verlag, 1995.
5. MORGAN C., Programming from Specifications, Prentice Hall, 1990.
6. WOODCOCK,J., J. DAVIES, Uzing Z. Specification, Refinement and Proof, Prentice-Hall, 1996.
7. KIM S.D., Formal Specification in OO Software Development, PhD Thesis, 1991, Iowa University
	
Assessment	A mark is given for each step of the project. The final mark is the avvrage of these marks. The schedule of the project must be respected, otherwise one point penalization is given for each weak of being late.