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