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

FISA DISCIPLINEI

Codul
Denumirea disciplinei
MIA1006 Proiect de cercetare în metode formale în programare
Specializarea
Semestrul
Ore: C+S+L
Categoria
Statutul
Metode formale în programare - în limba engleză
4
0+0+3
specialitate
obligatorie
Titularii de disciplina
Prof. Dr. FRENTIU Militon,  mfrentiucs.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
Continutul
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.
Legaturi: Syllabus-urile tuturor disciplinelor
Versiunea in limba engleza a acestei discipline
Versiunea in format rtf a acestei discipline