بررسی روشهای صوری در مهندسی نرم افزار
- سال انتشار: 1389
- محل انتشار: همایش مهندسی نرم افزار
- کد COI اختصاصی: GONBADSOFT01_018
- زبان مقاله: فارسی
- تعداد مشاهده: 7034
نویسندگان
آموزشیار دانشگاه آزاد اسلامی واحد گنبد کاووس
چکیده
سیستمهای نرم افزار بخش کلیدی زندگی ما شده اند سیستم پردازش بانک سیستمهای مبتنی بر وب برای خرید اینترنتی و کارتهای هوشمند برنامه های کوچکی دارند این سیستمها در زندگی ما بسیار موثرند از طرفی غالبا توسعه نرم افزار یک کار چالش برانگیز است زیرا روشهای متفاوتی با نمادهای ویژه خودشان و ابزارهای ویژه خودشان وجود دارند یک راه حل مسئله ساخت برنامه های صحیح از طریق استفاده از متودهای رسمی ریاضی و ابزارهای وابسته به ریاضی به عنوان بخشی از مهندسی نرم افزار است یکی از این روشها متود B می باشد که دراین مقاله به بررسی آن پرداخته ایم.کلیدواژه ها
روش صوری، متود رسمی، متود Bمقالات مرتبط جدید
- مرور سیستماتیک کاربرد هوش مصنوعی در موسیقی
- In-silico Analyses for Finding Potential Key Genes and Pathways Associated with Guillain-Barré Syndrome Using Computational Tools
- OCD Severity Based on EEG Signals
- Investigating the (non) -Impact of Customizing Knowledge Bases of Artificial Intelligence -Driven Robot on Language for Specific Purposes Learning
- The Need for Telehealth and Tele-Educationon in Optimizing Measles Surveillance and Reducing Healthcare Costs
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.