بررسی روشهای صوری در مهندسی نرم افزار
محل انتشار: همایش مهندسی نرم افزار
سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 6,947
متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
GONBADSOFT01_018
تاریخ نمایه سازی: 26 آبان 1389
چکیده مقاله:
سیستمهای نرم افزار بخش کلیدی زندگی ما شده اند سیستم پردازش بانک سیستمهای مبتنی بر وب برای خرید اینترنتی و کارتهای هوشمند برنامه های کوچکی دارند این سیستمها در زندگی ما بسیار موثرند از طرفی غالبا توسعه نرم افزار یک کار چالش برانگیز است زیرا روشهای متفاوتی با نمادهای ویژه خودشان و ابزارهای ویژه خودشان وجود دارند یک راه حل مسئله ساخت برنامه های صحیح از طریق استفاده از متودهای رسمی ریاضی و ابزارهای وابسته به ریاضی به عنوان بخشی از مهندسی نرم افزار است یکی از این روشها متود B می باشد که دراین مقاله به بررسی آن پرداخته ایم.
نویسندگان
سولماز صراحی نوبر
آموزشیار دانشگاه آزاد اسلامی واحد گنبد کاووس
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :