بررسی روشهای صوری در مهندسی نرم افزار
- سال انتشار: 1389
- محل انتشار: همایش مهندسی نرم افزار
- کد COI اختصاصی: GONBADSOFT01_018
- زبان مقاله: فارسی
- تعداد مشاهده: 6967
نویسندگان
آموزشیار دانشگاه آزاد اسلامی واحد گنبد کاووس
چکیده
سیستمهای نرم افزار بخش کلیدی زندگی ما شده اند سیستم پردازش بانک سیستمهای مبتنی بر وب برای خرید اینترنتی و کارتهای هوشمند برنامه های کوچکی دارند این سیستمها در زندگی ما بسیار موثرند از طرفی غالبا توسعه نرم افزار یک کار چالش برانگیز است زیرا روشهای متفاوتی با نمادهای ویژه خودشان و ابزارهای ویژه خودشان وجود دارند یک راه حل مسئله ساخت برنامه های صحیح از طریق استفاده از متودهای رسمی ریاضی و ابزارهای وابسته به ریاضی به عنوان بخشی از مهندسی نرم افزار است یکی از این روشها متود B می باشد که دراین مقاله به بررسی آن پرداخته ایم.کلیدواژه ها
روش صوری، متود رسمی، متود Bمقالات مرتبط جدید
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.