فرمت فایل: ورد - Word  

کتاب سبز - قابل ویرایش ) 

تعداد صفحه : 47
خلاصه روشهاي نرمال يكپارچه براي محيط مشخصات فراهم مي‌كند تا بسوي مدلهاي تحليلي كه كاملتر ناسازگار و با ابهام كمتر از روشهاي سنتي يا شي‌گرا باشد رهنمون مي‌شود. امكانات تشريحي تئوري مجموعه‌ها و nofation هاي منطقي نا مهندس نرم‌افزار يك گزاره شفاف از واقعيات(نيازمنديها) را ايجاد كند. مفاهيم زيرساختي كه بر روشهاي نرمال حاكم است(1) data inuariant يك شرط كه درست است در سراسر اجراي سيستم كه شامل مجموعه‌اي داده‌هاست stste(2) . داده‌هاي ذخيره‌شده كه توسط سيستم به آنها در دسترس است و تغيير مي‌كنند 431 عمليات، يك عمليات كه در سيستم قرار دارد و داده‌ها را به State مي‌نويسد يا از آن مي‌خواند. يك Stat با دو شرط شناخته مي‌شود: شرط پيشين و شرط پسين. رياضيات گسترHeuristic, notation مرتبط با مجموعه‌ها و مشخصات سازنده عملكردهاي مجموعه‌اي، عملكردهاي منطقي و دنباله‌ها – اساس روشهاي نرمال را شكل مي دهند. رياضيات گستر در يك زبان مشخصات نرمال همچون z اجرا مي‌گردد. z همچون همه زبانها مشخصات نرمال دودامنه معنايي و نحوي را دربرمي‌گيرد. دامنه بخوبي از يك نماد شاسي استفاده مي‌كند كه كاملاً توسط notation هاي مجموعه‌ها و محاسبات(predicate) دامنه معنايي زبان را قادر مي‌سازد تا نيازمنديها را به يك روش موخر بيان نماييد. ساختار Z تركيبي از شماهاست. ساختارهاي جعبه‌مانند كه متغيرها و روابط مابين آنها را مشخص مي‌كند. تصميم براي استفاده از روش نرمال بايد با توجه به هزينه‌هاي اوليه به همان نحو كه به تغييرات فرهنگي مرتبط با يك تكنولوژي اساساً متفاوت توجه شده‌است باشد. در اغلب نمونه‌ها، روشهاي نرمال بهترين منفعت را براي سيستم‌هاي كار بحراني يا ايمني – بحراني ايجاد مي‌نمايد. جدول 1-25 خلاصه‌اي از nolafion Z ( نهادهاي Z ) notation هاي z پايه تئوري مجموعه‌ها typed و منطق first-ader است. Z فراهم مي‌كند يك ساختار كه شما ناميده مي‌شود تا operation , State هاي يك مشخصات را شرح دهد. يك شما گروه‌بندي مي‌كند اعلان متغيرها را بايستي از

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

  

 « پرداخت آنلاین و دانلود در قسمت پایین »