بهمن زمانی

دانشگاه اصفهان - دانشکده مهندسی کامپیوتر

[ 1 ] - ارائه الگوریتم ادغام سه‌طرفه برای مدل‌های یوام‌ال بر اساس مفروضات ذهنی طراحان

مدل، نمایشی انتزاعی از سیستم نرم‌افزاری است که راهکاری مناسب برای مقابله با پیچیدگی‌های نرم‌افزار می‌باشد. توسعه مدل رانده نیز، با بهره‌گیری از این واقعیت، روشی نوین در توسعه نرم‌افزار است که از مدل به‌عنوان دست‌ساخته اصلی برای ایجاد سیستمی نرم‌افزاری استفاده می‌کند. همین امر موجب شده با افزایش همکاری تیمی، نسخه‌های مختلفی از مدل در طول فرایند توسعه، به‌ویژه در مرحله طراحی، ایجاد شود. برای مدیر...

[ 2 ] - ارائه روشی جدید برای تبدیل مدل دوسویه بر اساس چارچوب اپسیلون و تکنیک‌های ردیابی‌پذیری

توسعه مدل رانده روش نوینی در تولید نرم‌افزار است که در آن، از روی مدل و با به‌کارگیری مجموعه روش‌هایی تحت عنوان تبدیل مدل، کد پیاده‌سازی به‌صورت خودکار/ نیمه‌خودکار تولید می‌شود. کلیه فعالیت‌های ممکن در روش‌های مدل رانده با استفاده از تبدیل‌ها انجام می‌گیرد. یکی از این فعالیت‌ها، تبدیل مدل‌به‌مدل است که در ساده‌ترین حالت، ارتباطی تک‌سویه را بین مدل مبدأ و مقصد تعریف می‌کند. در این حالت، فقط می‌...