پاورپوینت برنامه نویسی
پاورپوینت برنامه نویسی Rebeca
دانلود پاورپوینت Rebeca
پاورپوینت درمورد Rebeca
دانلود پاورپوینت آشنایی با زبان Rebeca جهت رشته مهندسی نرم افزار در قالب ۲۸ اسلاید و با فرمت ppt به صورت کامل و جامع و با قابلیت ویرایش
Rebeca مانند Actor داراي اشياء فعال مستقل، تبادل ناهمگام پيام، تغيير پوياي پيكر بندي و بافر هاي نا محدود براي پيامهاي دريافتي است،اما در اين مدل ريسمانهاي متعدد همروند درون يك شيء فعال وجود ندارند.
به منظور كاهش پيچيدگي فرآيند درستي يابي، از امكان ايجاد پوياي يك شيء فعال و تغيير هم بندي در زمان اجرا، در هنگام ارائه روشهاي درستي يابي صرف نظر شده است.از مهم ترين مشخصه هاي اشياء در اين مدل، واكنشي بودن آنها است، به همين دليل هر يك از اشياء در اين مدل Rebec ناميده مي شود و مدل ارائه شده Rebeca نامگذاري شده است.
فهرست مطالب
نگاه كلي به زبان Rebeca
روشهاي درستي يابي
درستي يابي تركيبي
كمينه سازي تركيبي
درستي يابي تركيبي Rebeca
مثال (سيستم كنترل كننده خط آهن)
نتيجه گيري