Philadelphia University
Lecturer
Coordinator
Student Name
: Prof. S. Ghoul
: Prof. S. Ghoul
:
Faculty of Information Technology
Department of Computer Science
Search work Paper
MSc. Course
Formal Methods (750750)
Second Research Work
First Semester of 2012-2013
December 21, 2012, Due date January 14, 2013
1. Problems
You are asked to deal with the following problem:

Temporal logic
5m
We have studied Algebraic Specification (as Data Behavioral FS), Z (as Data Model FS), Graph Rewriting System
(as Model oriented FS), and SDL (as Hybrid FS). Develop a study on Temporal Logic. Your study must be based
on at least two research papers and structured (and composed by at least 05 pages) as it follows: 1 m approximately
o
o
o
o
o
o
o
The objectives of Temporal Logic in the studied papers
The main concepts of Temporal Logic in the studied papers
Different approaches used to deal with Temporal Logic in the studied papers
Supporting tools of Temporal Logic in the studied papers
Comparison of approaches used to deal with Temporal Logic in the studied papers
Perspectives of Temporal Logic deduced from the studied papers
References
2. Objectives
You are expected to achieve the following objectives, in this work:
- Research surveys
- Long life self learning of paradigms
- Researching appropriated tools
- Tool self learning and application
- Writing reports and presenting results
3. Required tasks
You are asked to:
- Search documents on recent development of the techniques limited by the problem definition above,
- Write a survey according to the schema outlined above,
- Find an environment, and to train your self on it,