یک مقاله در مورد موضوع نام‌برده شده بنویس

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