توصیف متدولوژی پرومتئوس به وسیله زبان صوری : تبدیلات گراف
سال انتشار: 1392
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 813
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
CEIT01_194
تاریخ نمایه سازی: 9 تیر 1393
چکیده مقاله:
مهندسی نرم افزار شاخه ای از مهندسی است که با بهره گیری از دانش علمی راه حل های مقرون به صرفه ای را در قالب دستاوردهای نرم افزاری به منظور حل مسائل و مشکلات عملی و خدمت جامعه بشری ارائه می نماید. در مهندسی نرم افزار از قوانین مهندسی دقیق برای تهیه نرم افزار مقرون به صرفه استفاده می شود، به طوری که قابل اطمینان باشد و در محیط واقعی به طور کارا فعالیت نماید. از طرفی جامعه ما به طور فزاینده ای وابسته به نرم افزار است . به همین ترتیب، پیشرفت در این زمینه دارای مسائلی مهمی مانند امنیت، کارایی و ... می باشد و همیشه این سوال مطرح است که چگونه می توان سیستمی امن با کارایی و قابلیت اطمینان بالا طراحی کرد؟ برای پاسخ به این سوال باید به دنبال روشی باشیم که دقیق و بدون ابهام باشد. به وسیله این روش باید بتوان سیستم را در روند تولید، آنالیز کرد و در آخر سیستمی بدون خطا بدست آورد. روش پیشنهادی روش های صوری است. در این مقاله سعی شده به وسیله یکی از ابزارهای صوری سازی ، متدولوژی های سیستم عاملگرا، که در دهه آخر در زمینه نرم افزار مطرح شده است، را فرمال نماییم .
کلیدواژه ها:
نویسندگان
سارا به پور
کارشناسی ارشد مهندسی نرم افزار کامپیوتر دانشگاه اراک، اراک
وحید رافع
استادیار گروه کامپیوتر دانشگاه اراک، اراک
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :