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

Code	Subject	
MIA1006	Research Project in Formal Methods in Programming	

Section	Sem.	Hours: C+S+L	Category	Type	
Formals Methods in Programming - in English	4	0+0+3	speciality	compulsory	

Teaching Staff in Charge	Prof. FRENTIU Militon, Ph.D., mfrentiu@cs.ubbcluj.ro	
Aims	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
	
Content	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	
Bibliography	1. David Ingram, How to do Research in Computer Science, Internet
	
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.