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.	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
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 in both semesters are individual activities performed by each student as part of the preparation of its/hers dissertation thesis.  
From a structural viewpoint, a dissertation will have three parts:
  - conceptual
  - technological
  - applicative.
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 - due week 6
3. Table of contents: version 1.0 - conceptual part - due week 7
4. Assignment of bibliographical sources to the designed structure - due week 9
5. Translation of selected documents and first version (draft) of the conceptual part - due week 14	

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

VI. Thematic of didactic activities per weeks

VII. Didactic methods used

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 weights are as follows:
1. title (10%)
2. documentation (20%)
3. ToC v 1.0 - conceptual part (10%)
4. assigning sources to structure (20%)
5. first draft of the conceptual part (40%)
The final mark is computed as an weighted average of the marks for individual activities.	

IX. Additional references

	Dean,							Chair head,

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