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

SYLLABUS

I. General data
Code	Subject	
MIA1006	Research Project in Formal Methods in Programming	

Semester	Hours: C+S+L+P	Category	Status	
4	0+0+3+0	speciality	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.	Computer Science			*	

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

III. Course objectives
At the completion of this course, the student should:
- have documentation abilities on an established topic
- be able to design the table of contents of the dissertation
- know how to write a technical document (dissertation) in many iterations	

IV. Course contents
Project activities are individual activities performed by each student as part of the preparation of his/her dissertation thesis.  
A dissertation must have three parts:
  - problem description and existing work;
  - main results of dissertation;
  - applied part, with authors work.
In the first term, the goal of project activities is to obtain a draft version of the conceptual part of the dissertation thesis.
They are:
1. Establishing the dissertation title/topic - due week 3
2. Bibliographical documentation (chapter one eith existing work) - due week 6
3. Table of contents: version 1.0 - conceptual part - due week 7
4. Chapter two of dissertation, with main results - due week 10
5. First version (draft) of dissertation - due week 14	

V. Bibliography
David Ingram, How to do Research in Computer Science, Internet	

VI. Thematic of didactic activities per weeks
1. Bibliographical documentation - weeks 1-3
2. Table of contents: version 1.0 - conceptual part - weeks 4-6
3. Writing the first draft of chapter 1 of disertation - weeks 7-9
4. Writing second chapter  of disertation- weeks 10-12	

VII. Didactic methods used
Conversation, case studies	

VIII. Assessment
Each of the activities above has a due date and a corresponding mark, on a 10-point scale. A penalty of 1pt per week are considered for delays. 
The final mark is computed as an average of the marks for individual activities.	

IX. Additional references
Internet papers	

	Dean,							Chair head,

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