پاورپوینت آشنایی با زبان برنامه نویسی Rebeca

مشخصات فایل
عنوان	پاورپوینت آشنایی با زبان برنامه نویسی Rebeca
نام فایل دانلودی	پاورپوینت-آشنایی-با-زبان-برنامه-نویسی-Rebeca.ppt
فرمت فایل دانلودی	ppt - پاورپوینت (Powerpoint)
تعداد اسلاید	28 اسلاید

تخفیف ویژه به مدت محدود فقط تا فردا یکشنبه 31 خرداد

40 هزار تومان 30 هزار تومان

پشتیبانی: 09374433704

دانلود پاورپوینت آشنایی با زبان Rebeca

دانلود پاورپوینت آشنایی با زبان Rebeca جهت رشته مهندسی نرم افزار در قالب ۲۸ اسلاید و با فرمت ppt به صورت کامل و جامع و با قابلیت ویرایش

 

 

Rebeca مانند Actor داراي اشياء فعال مستقل، تبادل ناهمگام پيام، تغيير پوياي پيكر بندي و بافر هاي نا محدود براي پيامهاي دريافتي است،اما در اين مدل ريسمانهاي متعدد همروند درون يك شيء فعال وجود ندارند.

 

به منظور كاهش پيچيدگي فرآيند درستي يابي، از امكان ايجاد پوياي يك شيء فعال و تغيير هم بندي در زمان اجرا، در هنگام ارائه روشهاي درستي يابي صرف نظر شده است.از مهم ترين مشخصه هاي اشياء در اين مدل، واكنشي بودن آنها است، به همين دليل هر يك از اشياء در اين مدل Rebec ناميده مي شود و مدل ارائه شده Rebeca نامگذاري شده است.

 

فهرست مطالب
نگاه كلي به زبان Rebeca
روشهاي درستي يابي    
درستي يابي تركيبي    
كمينه سازي تركيبي    
درستي يابي تركيبي Rebeca    
مثال (سيستم كنترل كننده خط آهن)    
نتيجه گيري