روشهای صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش |
Hossein azar (بحث | مشارکتها) بدون خلاصۀ ویرایش |
||
خط ۱:
در [[علوم رایانه]] و [[مهندسی نرمافزار]]، '''روشهای صوری''' یا '''روشها رسمی''' (به [[زبان انگلیسی|انگلیسی]] '''Formal methods''') نوع خاصی از شگردهای [[ریاضی]]-پایه برای
مثل چهارچوب سایر مهندسیها، به اجرا در آوردن [[تحلیل (ریاضی)|تحلیلهای ریاضی]] مناسب میتواند به استواری و قابل اعتماد بودن طرح کمک کند. به هر حال، مقیاس زیاد استفاده از روشهای صوری به این معنا است که به طور معمول فقط در توسعه سامانههای بینقص، جایی که ایمنی یا تضمین سامانه اهمیت دارد، استفاده میشود.
|