Mohammed G. H. al Zamil

Learn More
We have selected 242 Arabic abstracts used by (Hmeidi and Kanaan, 1997); all of which involve computer science and information system. We have also designed and built a new system to compare two different retrieval tasks: Ad-hoc retrieval and filtering retrieval. However, we have defined Ad-hoc and filtering retrieval systems and illustrated the development(More)
— Software testing covers a large percent of the software development expenses. However, formal methods are applied, usually, to improve or ensure the correctness of the requirements, design, code, or testing. In order to utilize formal methods particularized to different cases, the subject matter needs to be written in a formal language or syntax. In this(More)
  • 1