Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
Domeniul: Informatica
Programul de studii: Metode formale în programare
Limba de predare: Engleză

SYLLABUS

I. General data
Code	Subject	
MV044	Project (2)	

Semester	Hours: C+S+L	Category	Status	
2	0+0+1		compulsory	

II. Full status faculty members
Name and	Scientific	Didactic	Chair	Type of activity	
surname	title	title		C	S	L	
FRENTIU Militon	Ph.D.	Prof.	Programming  Languages and Methods			*	

Associated faculty members
Name and	Scientific	Institution	Type of	Type of activity	
surname	title		position	C	S	L	

III. Course objectives
- 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.	

IV. Course contents
- 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	

V. 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

VI. Thematic of didactic activities per weeks

VII. Didactic methods used

VIII. Assessment
A mark is given for each step of the project. The final mark is the average of these marks. The schedule of the project must be respected, otherwise one point penalization is given for each weak of being late.	

IX. Additional references

	Dean,							Chair head,

	Date,							Course responsible,
								Prof. FRENTIU Militon, Ph.D.