Babes-Bolyai University of Cluj-Napoca
Faculty of Mathematics and Computer Science
Study Cycle: Master

SUBJECT

Code
Subject
MV044 Project (2)
Section
Semester
Hours: C+S+L
Category
Type
Formals Methods in Programming - in English
2
0+0+1
compulsory
Teaching Staff in Charge
Prof. FRENTIU Militon, Ph.D.,  mfrentiucs.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