دانلود مقاله در مورد فرمال متد 30 ص
دسته بندي :
مقاله »
مقالات فارسی مختلف
لینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل : word (..doc) ( قابل ويرايش و آماده پرينت )
تعداد صفحه : 47 صفحه
قسمتی از متن word (..doc) :
2
خلاصه
روشهاي نرمال يكپارچه براي محيط مشخصات فراهم مي‌كند تا بسوي مدلهاي تحليلي كه كاملتر ناسازگار و با ابهام كمتر از روشهاي سنتي يا شي‌گرا باشد رهنمون ميشود.
امكانات تشريحي تئوري مجموعه‌ها و nofation هاي منطقي نا مهندس نرم‌افزار يك گزاره شفاف از واقعيات(نيازمنديها) را ايجاد كند.
مفاهيم زيرساختي كه بر روشهاي نرمال حاكم است(1) data inuariant يك شرط كه درست است در سراسر اجراي سيستم كه شامل مجموعه‌اي داده‌هاست stste(2) .
داده‌هاي ذخيره‌شده كه توسط سيستم به آنها در دسترس است و تغيير مي‌كنند 431 عمليات، يك عمليات كه در سيستم قرار دارد و داده‌ها را به State مي‌نويسد يا از آن مي‌خواند.
يك Stat با دو شرط شناخته ميشود: شرط پيشين و شرط پسين.
رياضيات گسترHeuristic, notation مرتبط با مجموعه‌ها و مشخصات سازنده عملكردهاي مجموعه‌اي، عملكردهاي منطقي و دنباله‌ها – اساس روشهاي نرمال را شكل مي دهند. رياضيات گستر در يك زبان مشخصات نرمال همچون z اجرا مي‌گردد. z همچون همه زبانها مشخصات نرمال دودامنه معنايي و نحوي را دربرمي‌گيرد. دامنه بخوبي از يك نماد شاسي استفاده مي‌كند كه كاملاً توسط notation هاي مجموعه‌ها و محاسبات(
2
predicate) دامنه معنايي زبان را قادر مي‌سازد تا نيازمنديها را به يك روش موخر بيان نماييد. ساختار Z تركيبي از شماهاست. ساختارهاي جعبه‌مانند كه متغيرها و روابط مابين آنها را مشخص مي‌كند.
تصميم براي استفاده از روش نرمال بايد با توجه به هزينه‌هاي اوليه به همان نحو كه به تغييرات فرهنگي مرتبط با يك تكنولوژي اساساً متفاوت توجه شده‌است باشد. در اغلب نمونه‌ها، روشهاي نرمال بهترين منفعت را براي سيستم‌هاي كار بحراني يا ايمني – بحراني ايجاد مي‌نمايد.
جدول 1-25 خلاصه‌اي از nolafion Z ( نهادهاي Z )
notation هاي z پايه تئوري مجموعه‌ها typed و منطق first-ader است.
Z فراهم مي‌كند يك ساختار كه شما ناميده ميشود تا operation , State هاي يك مشخصات را شرح دهد. يك شما گروه‌بندي مي‌كند اعلان متغيرها را بايستي از Spredicate كه تحليل مي‌كند احتمالاً مقدار يك متغير در Z شماي X به فرم زير تعريف ميشود.
X
decloration
perdicates
3
توابع اصلي و ثابت فرم زير تعريف مي‌شوند.
Declaration
perdicates
اعلان نوع تابع يا ثابت را مشخص مي‌كند حال آنكه predicate مقدار آن را برمي‌گرداند يك خلاصه از نمادهاي z در زير ارائه شده‌اند.
مجموعه‌ها :
S:PX S بعنوان مجموعه‌اي از مجموعه X اعلان شده
X عضوي از S
X عضوي از S نيست
S يك زيرمجموعه از T است، هر عضو از S همچنين در T موجود است.
اجتماع T,S : همه عضوي S يا T هر دو .
اشتراك S,T : همه اعضاي مشترك T,S
اختلاف S,T : همه اعضاي S بجز آنهايي كه در T هستند.
مجموعه تهي : هيچ عضوي ندارد.
مجموعه يكن: تنها X را شامل ميشود.
مجموعه اعداد طبيعي
4
S يك مجموعه متناهي از مجموعه X هاست.
ماكزيمم مجموعه غير تهي و عددي S .
توابع f اعلان‌شده بعنوان patial injection از x به y
دامنه f: مجموعه مقدارهايي از x هائيكه f(x) را تعريف مي‌كنند.
dom f برد f : مجموعه مقادير كه f(x) برمي‌گرداند برروي x هاي دامنه.
Tan f
يك تابع كه مطابق f1 است مگر اينكه x به y نگاشت شود.
تابعي همچون f بجز اينكه x از دامنه آن حذف شده‌باشد.
(P,q) اگر هم q,p صحيح باشند صحيح است: p and Q منطقي
درست است اگر هر دو درست باشند يا هر دو غلط باشند(q نتيجه مي‌دهد p ) :pimploes Q
هيچ مؤلفه‌اي از شماي S در عمليات تغيير نكند.
25.7 روشهاي نرمال – راه‌پيشرو