بررسی روشهای صوری در مهندسی نرم افزار

سال انتشار: 1389
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 6,800

متن کامل این مقاله منتشر نشده است و فقط به صورت چکیده یا چکیده مبسوط در پایگاه موجود می باشد.
توضیح: معمولا کلیه مقالاتی که کمتر از ۵ صفحه باشند در پایگاه سیویلیکا اصل مقاله (فول تکست) محسوب نمی شوند و فقط کاربران عضو بدون کسر اعتبار می توانند فایل آنها را دریافت نمایند.

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

GONBADSOFT01_018

تاریخ نمایه سازی: 26 آبان 1389

چکیده مقاله:

سیستمهای نرم افزار بخش کلیدی زندگی ما شده اند سیستم پردازش بانک سیستمهای مبتنی بر وب برای خرید اینترنتی و کارتهای هوشمند برنامه های کوچکی دارند این سیستمها در زندگی ما بسیار موثرند از طرفی غالبا توسعه نرم افزار یک کار چالش برانگیز است زیرا روشهای متفاوتی با نمادهای ویژه خودشان و ابزارهای ویژه خودشان وجود دارند یک راه حل مسئله ساخت برنامه های صحیح از طریق استفاده از متودهای رسمی ریاضی و ابزارهای وابسته به ریاضی به عنوان بخشی از مهندسی نرم افزار است یکی از این روشها متود B می باشد که دراین مقاله به بررسی آن پرداخته ایم.

کلیدواژه ها:

نویسندگان

سولماز صراحی نوبر

آموزشیار دانشگاه آزاد اسلامی واحد گنبد کاووس

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • Automatic Analysis of Requirements Consistency with the B Method ...
  • Getting the best from formal methods John B. Wordsworth ...
  • A Case Study in JML-Assisted Software Development ...
  • -soft ware engineering with the B-method Anamaria Martins Moreira David ...
  • Structuring requirement specifcations with goal s, ELSEVIER, Information and Software ...
  • Fast, Scalable and Reliable Generation of Controlled Natural Language , ...
  • Automated Review of Natural Language Requirements Prateek Jain1, Kunal Verma2, ...
  • نمایش کامل مراجع