Philadelphia University
Lecturer
Coordinator
Student Name :
: Prof. S. Ghoul
: Prof. S. Ghoul
Faculty of Information Technology
Department of Computer Science
Practical work Paper
MSc. Course
Formal Methods (750750)
Second Practical Work
First Semester of 2012-2013
December 21, 2012, Due date January 14, 2013
1. Problems
You are asked to deal with the following problems related to the Z specification:

Birthday Book problem presented in the lecture
2. Objectives
You are expected to achieve the following objectives, in this work:
- Apply algorithm developing norms to real cases
- Researching appropriated tools (especially Programming Languages)
- Tool self learning and application
- Writing reports and presenting results
3. Required tasks
You are asked to:
- Program in Z environment the above problem.
- Write a report commenting your work: title, abstract, Z specification, obtained results, encountered problems.