Alireza Rouhi
Contact Information:
E-Books
& Books library is here: 
I am Interested in formal methods,
specifically on Formal Specification Using Z Specification Language. I have
experimented A Case Study Using Z in my M. Sc.
thesis. In order to check the system
consistency and pre-conditions computations, we
used Z/EVES Theorem Proving System.
Research papers:
S. H. Mirian-Hosseinabadi and A. R. Rouhi, "Evaluation of States Separation Techniques
and Promotion In The Software Formal Specification: A Case Study Approach",
10th Annual of Computer Society of Iran,
Your visitor number is: 
Created Date: December 14, 2004.
Last Updated: October 30, 2008