دانش رسان |
مرکز علم و دانش کشور مقاله توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف
در حال بارگذاری
توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد
مقاله توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف دارای ۹ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است
فایل ورد مقاله توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه و مراکز دولتی می باشد.
توجه : در صورت مشاهده بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی مقاله توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف،به هیچ وجه بهم ریختگی وجود ندارد
بخشی از متن مقاله توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف :
تعداد صفحات:۹
چکیده:
مهندسی نرم افزار شاخه ای از مهندسی است که با بهره گیری از دانش علمی راه حل های مقرون به صرفه ای را در قالب دستاوردهای نرم افزاری به منظور حل مسائل و مشکلات عملی و خدمت جامعه بشری ارائه می نماید. در مهندسی نرم افزار از قوانین مهندسی دقیق برای تهیه نرم افزار مقرون به صرفه استفاده می شود، به طوری که قابل اطمینان باشد و در محیط واقعی به طور کارا فعالیت نماید. از طرفی جامعه ما به طور فزاینده ای وابسته به نرم افزار است . به همین ترتیب، پیشرفت در این زمینه دارای مسائلی مهمی مانند امنیت، کارایی و ; می باشد و همیشه این سوال مطرح است که چگونه می توان سیستمی امن با کارایی و قابلیت اطمینان بالا طراحی کرد؟ برای پاسخ به این سوال باید به دنبال روشی باشیم که دقیق و بدون ابهام باشد. به وسیله این روش باید بتوان سیستم را در روند تولید، آنالیز کرد و در آخر سیستمی بدون خطا بدست آورد. روش پیشنهادی روش های صوری است. در این مقاله سعی شده به وسیله یکی از ابزارهای صوری سازی ، متدولوژی های سیستم عاملگرا، که در دهه آخر در زمینه نرم افزار مطرح شده است، را فرمال نماییم .
- در صورتی که به هر دلیلی موفق به دانلود فایل مورد نظر نشدید با ما تماس بگیرید.
