سیدا دانلود مقاله در مورد فرمال متد 30 ص

دانلود مقاله در مورد فرمال متد 30 ص

فرمت فایل دانلودی: .zip
فرمت فایل اصلی: .doc
تعداد صفحات: 47
حجم فایل: 73 کیلوبایت
قیمت: 6000 تومان

لینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل :  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 روشهای نرمال – راه‌پیشرو

 

پرداخت با کلیه کارتهای عضو شتاب امکان پذیر است.