Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Master
SUBJECT
| MV044 | Project (2) |
| Teaching Staff in Charge |
Prof. FRENTIU Militon, Ph.D., mfrentiu cs.ubbcluj.ro |
| Aims |
|
- To complete a significant (Pascal, C ++ or Java) program, going through all programming activities (specification, design, coding, verification of these activities, validation, and documetation)
- To elaborate a clear and complete documentation, and to respect the schedule of a project. |
| Content |
|
- Each student must construct a software product, going through all steps of the project: specification, design, coding, verification for each step: (inspection, testing)
- Writing a documentation for each step; - Writing a documentation for possible users |
| References |
|
1. M.Frentiu, Verificarea corectitudinii programelor, Ed. Univ. Petru Maior, 2001.
2. FENTON N.E., Software Metrics. A Rigorous Approach, International Thomson Computer Press, 1995, 332 pages. 3. GOLDSACK S.J., S.J.H.KENT, Formal Methods and Object Technology, Springer-Verlag, 1986. 4. LANO K., Formal Object-Oriented Development, Springer-Verlag, 1995. 5. MORGAN C., Programming from Specifications, Prentice Hall, 1990. 6. WOODCOCK,J., J. DAVIES, Uzing Z. Specification, Refinement and Proof, Prentice-Hall, 1996. 7. KIM S.D., Formal Specification in OO Software Development, PhD Thesis, 1991, Iowa University |
| Assessment |
|
A mark is given for each step of the project. The final mark is the avvrage of these marks. The schedule of the project must be respected, otherwise one point penalization is given for each weak of being late. |
| Links: | Syllabus for all subjects Romanian version for this subject Rtf format for this subject |