Seyed-Hassan Mirian-Hosseinabadi | Computer Engineering Department | Sharif University of Technology | سید حسن میریان حسین آبادی
 Technical Reports

SQRL-002.  Amir Jahangard Rafsanjani and Seyed-Hassan Mirian-Hosseinabadi, Formalizing ORM Models Using Alloy,   Software Quality Research Laboratory, Computer Engineering Department, Sharif University of Technology, Tehran, Iran,  March 2012.

SQRL-001.  Hassan Haghighi and Seyed-Hassan Mirian-Hosseinabadi, Nondeterminism in Constructive Z,   Software Quality Research Laboratory, Computer Engineering Department, Sharif University of Technology, Tehran, Iran,  Feb 2008.

CSM-240.  Mirian-Hosseinabadi, S.-H., Implementing Z in Morgan’s Refinement Calculus,   University of Essex-Computer Science Department, Colchester, UK,  April 1995.

CSM-284.  Mirian-Hosseinabadi, S.-H., Case Study in Z: Formal Specification of the Student Enrolment System,   University of Essex-Computer Science Department, Colchester, UK,  Feb 1997.

Create Date: 80/12/27(March 2003)

Update Date: 92/03/05(May  2013)


Seyed Hassan Mirian Hosseinabadi | سید حسن میریان حسین آبادی 
Seyed-Hassan Mirian-Hosseinabadi
Associate Professor,
Computer Engineering Department,
Sharif University of Technology
 
 
 

All Rights Reserved | Seyed-Hassan Mirian-Hosseinabadi | Sharif University of Technology