Universitatea Babeş-Bolyai Cluj-Napoca
Facultatea de Matematică şi Informatică
Ciclul de studii: Masterat
FIŞA DISCIPLINEI

Codul	Disciplina	
MIA1006	Proiect de cercetare în metode formale în programare	

Specializarea	Sem.	Ore: C+S+L	Categoria	Statutul	
Metode formale în programare - în limba engleză	4	0+0+3	specialitate	obligatorie	

Titularii de disciplină	Prof. Dr. FRENTIU Militon, mfrentiu@cs.ubbcluj.ro	
Obiective	La terminarea proiectului, studentul trebuie sa posede:
- deprinderi de cercetare documentara pe o tema data
- abilitatea de a proiecta cuprinsul unui document (disertatia)
- deprinderi de realizare a continutului unui document in mai multe iteratii	
Conţinutul	Activitatile de proiect din cele doua semestre reprezinta munca individuala pe care studentul o depune pentru realizarea disertatiei.
Structural, disertatia va avea trei parti
  - conceptuala
  - tehnologica
  - aplicativa.
Etapele din acest semestru se refera la realizarea primei versiuni a partii conceptuale.
Ele sunt
1. Stabilirea temei disertatiei - sapt 3
2. Documentarea bibliografica   - sapt 6
3. Cuprinsul - versiunea 1: partea conceptuala - sapt 7
4. Incadrarea surselor bibliografice in structura proiectata 9
5. Traducerea partilor selectate din bibliografie si redactarea partii conceptuale - sapt 14
	
Bibliografie	1. David Ingram, How to do Research in Computer Science, Internet
	
Evaluare	Fiecare dintre etapele mentionate are fixat un termen si o nota de la 1 la 10. Se percep penalizari de intarziere de 1 pct per saptamana de intarziere.
Ponderile aferente etapelor sunt:
1. titlul (10%)
2. documentarea (20%)
3. ToC v 1.0 - conceptual part (10%)
4. incadrarea bibliografiei in structura (20%)
5. prima versiune a partii conceptuale (40%)
Nota finala se calculeaza ca medie ponderata a notelor obtinute, considerandu-se ponderile specificate.