در علوم رایانه و مهندسی نرم‌افزار، روش‌های صوری یا روش‌ها رسمی (به انگلیسی Formal methods) نوع خاصی از شگردهای ریاضی-پایه برای توصیف، تخصیص، ایجاد، توسعه،و تولید برنامه سامانه‌های سخت‌افزاری و نرم‌افزاری هستند. استفاده از روش‌های صوری برای طراحی سخت‌افزار و نرم‌افزار تحت تاثیر خواسته‌ها و انتظارات قرار می‌گیرد. مثل چهارچوب سایر مهندسی‌ها، به اجرا در آوردن تحلیل‌های ریاضی مناسب می‌تواند به استواری و قابل اعتماد بودن طرح کمک کند. به هر حال، مقیاس زیاد استفاده از روش‌های صوری به این معنا است که به طور معمول فقط در توسعه سامانه‌های بی‌نقص، جایی که ایمنی یا تضمین سامانه اهمیت دارد، استفاده می‌شود.
هیچ نظری موجود نیست:
ارسال یک نظر