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	Category	Status	
4	0+0+3	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 5
3. Table of contents: version 1.0 - conceptual part - due week 6
4. Preliminary work on dissertation - due week 8
5. Preliminary work on technological part of the dissertation - due week 12	

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

VI. Thematic of didactic activities per weeks
1. Establishing the dissertation title/topic – week one
2. Current activities and duties
1. Documentation:  March (Week 02 - Week 04)
   Results: a short paper (1-2 pages) containing the titles of the
     papers/books read (complete bibliographical references!!)
   Due date: Week 04
   Send to M.Frentiu (mfrentiu@cs.ubbcluj.ro)) a message having attached the short paper NPProj1.doc
   N = your family name, P = your first (given) name
2. Preliminary work on dissertation: April (Week 05 - Week 08)
   Prepare a working report (15-20 pag) containing
     - short abstracts of the papers/books read
	 - personal remarks on the parts of the readings which seem to be adequate for your dissertation
	 - a preliminary table of content (see below TOC)
	 - a preliminary list of references
   Due date: Week 08
   Send to M.Frentiu (mfrentiu@cs.ubbcluj.ro) a message having attached the working report NPProj3.doc
   N = your family name, P = your first (given) name
3. Preliminary work on technological part of the dissertation (Week 09 - Week 12)
   Prepare a working report (15-20 pag) containing 
     - short abstracts of the papers/books read regarding technological issues
	 - personal remarks on the parts of the readings which seem to be adequate for your dissertation
	 - how discussed technologies are related to the concepts/principles discussed in the conceptual part
	 - how conceptual part is affected by the new technological information
	 - a refined list of references (including new technology-related ones)
   Due date: Week 12
   Send to M.Frentiu (mfrentiu@cs.ubbcluj.ro) a message having attached the document NPProj4.zip
   N = your family name, P = your first (given) name3. 

VII. Didactic methods used
The following methods are used: exposure, conversation, didactical proof, modeling, and the discussion of some case studies and programming examples. 	

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 the average of the marks for each activities.	

IX. Additional references

	Dean,							Chair head,

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