Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Master
SUBJECT
| MIA1006 | Research Project in Formal Methods in Programming |
| 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 |
| 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 |