ارائه یک روش صوری چابک برای تولیدنرم افزار با استفاده از سیستم های تبدیل گراف

Publish Year: 1389
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,849

This Paper With 7 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:

CEIC03_057

تاریخ نمایه سازی: 4 آذر 1389

Abstract:

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

Authors

معصومه ساریخانی

دانشکده فنی مهندسی دانشگاه آزاد اسلامی واحد اراک

فائزه علیزاده نیا

دانشکده فنی مهندسی دانشگاه آزاد اسلامی زنجان

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
  • Rafe V., Rahmani A.T., Baresi L., Spoletini p.." Toards automated ...
  • Baldan p.. Corradini A., Gaducci F., "Specifing _ Diagrams _ ...
  • _ _ PAUMEISTER . "AGILE: software architecture for mobility". Proc. ...
  • BARESI L, HECKEL R., "Tutorial introduction to graph transformation: a ...
  • _ _ _ G. (ED S.), "Handbook _ graph grammars ...
  • Kuske S., Gogolla M., Kollmann R., "An Integrated Semantics for ...
  • نمایش کامل مراجع