بررسی روشهای صوری در مهندسی نرم افزار
Publish place: Software Engineering Conference
Publish Year: 1389
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 6,819
متن کامل این Paper منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل Paper (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
GONBADSOFT01_018
تاریخ نمایه سازی: 26 آبان 1389
Abstract:
سیستمهای نرم افزار بخش کلیدی زندگی ما شده اند سیستم پردازش بانک سیستمهای مبتنی بر وب برای خرید اینترنتی و کارتهای هوشمند برنامه های کوچکی دارند این سیستمها در زندگی ما بسیار موثرند از طرفی غالبا توسعه نرم افزار یک کار چالش برانگیز است زیرا روشهای متفاوتی با نمادهای ویژه خودشان و ابزارهای ویژه خودشان وجود دارند یک راه حل مسئله ساخت برنامه های صحیح از طریق استفاده از متودهای رسمی ریاضی و ابزارهای وابسته به ریاضی به عنوان بخشی از مهندسی نرم افزار است یکی از این روشها متود B می باشد که دراین مقاله به بررسی آن پرداخته ایم.
Authors
سولماز صراحی نوبر
آموزشیار دانشگاه آزاد اسلامی واحد گنبد کاووس
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :