مدل سازی تغییرپذیری در خط تولید سیستم های اطلاعاتی
thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
1386
مریم رضویان رامتین خسروی
مریم رضویان رامتین خسروی
چکیده ندارد.
درستی یابی صوری سیستم های شی ء بنیاد توسط جبر پردازه ای
thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
1386
حسین حجت مرجان سیرجانی
حسین حجت مرجان سیرجانی
چکیده ندارد.
ترکیب سرویس های وب با ریو
thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
1387
فرزاد مهدیخانی مرجان سیرجانی
فرزاد مهدیخانی مرجان سیرجانی
چکیده ندارد.
بررسی روش های تجرید مدل های ربکا به منظور درستی یابی صوری
thesis
وزارت علوم، تحقیقات و فناوری - دانشگاه تهران
1387
حمیده صبوری قمی مرجان سیرجانی
حمیده صبوری قمی مرجان سیرجانی
چکیده ندارد.