@article{paperid:1036111,
author = {رسول زادگان, عباس and احمد عبداله زاده بارفروش},
title = {مکانیزم تبدیل دوجهته نمودار کلاس UML و توصیف Object-Z},
journal = {مهندسی برق و مهندسی کامپیوتر ایران},
year = {2013},
volume = {10},
number = {2},
month = {January},
issn = {1682-3745},
pages = {69--85},
			numpages = {16},
keywords = {تبدیل مدل، نمودار UML، Object-Z، سیستم آسانسور چند کابینه},
}