خرید ارزان فرمال متد 30 ص

لینک دانلود و خرید پایین توضیحات
دسته بندی : وورد
نوع فایل : Word (..docx) ( قابل ویرایش و آماده پرینت )
تعداد صفحه : 47 صفحه

قسمتی از متن Word (..docx) :

خلاصه روشهای نرمال یکپارچه برای محیط مشخصات فراهم می کند تا بسوی مدلهای تحلیلی که کاملتر ناسازگار و با ابهام کمتر از روشهای سنتی یا شی گرا باشد رهنمون می شود. امکانات تشریحی تئوری مجموعه ها و 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 های یک مشخصات را شرح دهد. یک شما گروه بندی می کند اعلان متغیرها را بایستی از Spredicate که تحلیل می کند احتمالاً مقدار یک متغیر در Z شمای X به فرم زیر تعریف می شود. X decloration perdicates توابع اصلی و ثابت فرم زیر تعریف می شوند. 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 را شامل می شود.
مجموعه اعداد طبیعی

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 روشهای نرمال – راه پیشرو هرچند نرمال تکنیکهای مشخصات برپایه ریاضیات هنوز به صورت گسترده در صنعت بکار نمی روند آنها مزیتهای اساسی نسبت به تکنیکهای غیرنرمال دارند. Lisko و Bresios
این را به صورت خلاصه زیر بیان می کنند.« مشخصات نرمال می تواند بصورت ریاضیاتی مطالعه می شود در حالیکه مشخصات غیرنرمال نمی توانند برابر مثال یک برنامه صحیح می تواند براساس مشخصات خود درآید. یا دو مجموعه مشخصات می تواند معادل باشند. فرمهای مشخص با تمامیت یا عدم سازگاری می توانند خودکار شناسایی شوند. شما بعلاوه مشخصات نرمال ابهام را از بین می برد و سختی را در گامهای نخست فرآیند مهندسی نمی تواند تقویت نماید. اما مشکلات باقی می ماند مشخصات ذیل عمدتاً برروی کارکرد و زمانبندی داده ها زوم نموده است. و جنبه های رفتاری یک مسئله برای ارائه دشوارتر است. بعلاوه برخی عناصر مسئله( همچون رابط انسان/ ماشین) توسط تکنیکهای گرافیکی یا prototype بهتر مشخص می شود. در نهایت مشخصات که با استفاده از نرمال متر سخت تر برای یادگیری از متدهایی همچون ساختاری است و یک شوک فرهنگی معنادار برای برخی شاغلین نرم افزار ایجاد می کند. به همین دلیل محتمل است که نرمال تکنیک مشخصات زیاضیایی پایه ای برای ساخت Cass tools ها جدید در آینده شکل می دهد. هنگامی که واگر رخ دهد مشخصات بر پایه ریاضیات احتمالاً توسط بخش گسترده تری از جامعه مهندسین نرم افزار پذیرفته می شود.