[
Contact Information | Qualification |
Profissional History]
[ Publication | Research Interests]
[ Back to the Main Page ]
Contact
Information
Go
Top
Qualification
Go
Top
Professional
History
- Head of Dept. of Information Technology at College of Applied Sciences-Salalah from Sept. 2007 until the present.
- Lecturer in the Dept. of Information Technology at College of Applied Sciences-Salalah from Sept. 2006 until the present.
- Lecturer in the Dept. of Mathematics
and Computer at Salalah College of Education from Oct. 1999 until August 2006.
- Lecturer in the Dept. of Mathematics
and Computer at Salalah College of Education from Oct.
1998 until August, 1999. Contracted via Centre
for British Teachers (CfBT/Oman
Branch).
- Lecturer in the Dept. of Computer
Science at Yarmouk University, Irbid/Jordan from Feb. 1998 Until Oct. 1998.
- Part time lecturer in the Dept. of
Computer Science at Yarmouk University. Irbid/Jordan, from July 1997 until
Jan. 1998.
- Research Assistant, in the Dept. of
Computer Science at the National University of Malaysia, Bangi/Malaysia from
Feb.1996 until April 1997.
- Teaching/Research Assistant, in the
Dept. of Computer Science at Yarmouk University, Irbid/ Jordan, from April
1993 until July 1995.
- Computer Instructor
in the Department of Computer Science at Yarmouk University, Irbid / Jordan,
from Jan. 1991 until June 1991
Go
Top
Publications
-
Ahmed Al-Amayreh, Abdullah Mohd Zin. 1999.
"Probe: A
Formal Specification-Based Testing System". Proceedings of the 20th
International Conference on Information Systems (ICIS'99).
Charlotte, North Carolina, USA. Pp 400-404.
- Abdullah Mohd Zin, Ahmed Al-Amayreh
and Eric Foxley. 1997. "An approach to Specification-Based Assessment
System". Proceedings of the International Conference on Software Quality
Engineering SQE'97. Udine, Italy.
- Ahmed Al-Amayreh, Abdullah Mohd
Zin and Aziz Daraman. 1996. "Specification-Based Test Case Generator".
Proceedings of the 15th IASTED
International Conference: Applied Informatics. Innsburck, Austria. Pp.
326-329.
Go
Top
Research
Interests
- Component-Based Software
- Software Architecture.
- Software Quality, Testing and
Evaluation.
- Software Formal Specifications.
- Z Formal Notations.
- Artificial Intelligent.
- Logic Programming and PROLOG.
Go
Top
Back to the Main Page
Last modified February 14, 2008