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, Iran Telecom Research Center, February 15-17, 2005 (pdf).
Your visitor number is:
Created Date: December 14, 2004.
Last Updated: April 23, 2008