TY - JOUR AU - Rasoolzadegan, A. AU - Abdollahzadeh Barforoush, Ahmad TI - مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z JO - فصلنامه مهندسی برق و مهندسی کامپيوتر ايران VL - 10 IS - 4 SP - 69 EP - 85 PY - 2013 DO - ER -