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
Semester
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.,  mfrentiucs.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
References
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.
Links: Syllabus for all subjects
Romanian version for this subject
Rtf format for this subject