مقاله توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

  مقاله توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z دارای ۱۰ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد مقاله توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

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

بخشی از متن مقاله توصیف صوری رفتار پویای سیستم های هم روند به کمک یک زبان شبه Z :

تعداد صفحات:۱۰

چکیده:

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