%0 Journal Article %A رسول‌زادگان, عباس, عبداله‌زاده بارفروش, احمد %T مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z %J فصلنامه مهندسی برق و مهندسی کامپيوتر ايران %V 10 %N 4 %P 69-85 %D 2013 %R %U https://rimag.ir/fa/Article/28041