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)