Back
		MSc Students
Last Name	First Name	Title	Start	End	Start	End	Paper
Taghani	Kambiz	Formal Extension of UML Modeling Language	Oct 1998	Oct 1999	Mehr 77	Mehr 78	Yes
Rahmati	Behrouz	Automatic Mapping of an Object Oriented Model to a Relational Database Model	Oct 1999	Oct 2000	Mehr 78	Mehr 79	Yes
Jalali	Arash	Translation of CZ set theory into Martin-Lof theory of types and its implementation	Oct 1999	Nov 2000	Mehr 78	Aban 79
Foladgar	Mahdi	Formal Specification of a Firewall	Oct 1999	March 2001	Mehr 78	Esfand 79
Mousavi	Seyyed-Mohammad-Reza	Nondeterminisim in Set Theoretical Formal Specification: A Constructive Approach	Oct 2000	Oct 2001	Mehr 79	Mehr 80	Yes
Naghsineh	Shabnam	Translating Object Oriented Queries into Relational Queries	Oct 2000	Quited	Mehr 79	Quited
Hashemian	Seyyed-Vahid	Formal Specification of Probabilistic Systems	Oct 2001	Oct 2002	Mehr 80	Mehr 81	Yes
Haghighi	Hassan	Translating Object Oriented Queries into Relational Queries	Oct 2001	Nov 2002	Mehr 80	Aban 81	Yes
Roohi	Ali-Reza	A Case Study in Formal Specification ( Intelligent Student Registration Database System)	Oct 2002	June 2004	Mehr 81	Khordad 83	Yes
Olangian	Amir-Hojat	White Box Software Unit Testing	Oct 2002	Quited	Mehr 81	Quited
Shaabani	Mohammad	Rapid Prototyping From Formal Specification in Z	Oct 2002	Quited	Mehr 81	Quited
Mesdaghinia	Salar	Adaptive Architectures: An Approach for Behavior Dynamism	Oct 2003	Jan 2005	Mehr 82	Bahman 83	Yes
Roozbehani	Amin	Database Design Evaluation based on Relational Data Model	Oct 2003	Jan 2005	Mehr 82	Bahman 83	Yes(2)
Yousef sanati	Morteza	Work Flow Engine Design: A Family Based Approach	Oct 2003	Jan 2005	Mehr 82	Bahman 83	Yes
Back