۱٬۰۱۳
ویرایش
Yamaha5Bot (بحث | مشارکتها) جز (حذف پیوند به خود مقاله با استفاده از AWB) |
Alitehrani68 (بحث | مشارکتها) |
||
در [[علوم رایانه]] و [[مهندسی نرمافزار]]، '''روشهای صوری''' یا '''روشها رسمی''' (به [[زبان انگلیسی|انگلیسی]] '''Formal methods''') نوع خاصی از شگردهای [[ریاضی]]-پایه برای توصیف، تخصیص، ایجاد، توسعه، و تولید برنامه [[سامانه
مثل چهارچوب سایر مهندسیها، به اجرا
== کاربرد ==
== ویژگیها ==
برای توسعه سامانه در هر سطح مطلوب، از تعریفهای روشهای صوری میتوان استفاده کرد. این تعریف رایج میتواند جهت هدایت فعالیتهای توسعه استفاده شود علاوه بر این میتواند مشخص کند که نیازهای سامانه
نیاز برای ویژگیها سامانههای صوری (رسمی) برای سالهاست که مشخص شدهاست.
در ''راس الغول([[زبان برنامهنویسی]] الگول) '' ۶۰ گزارش، [
''Backus'' همچنین یک نیاز به یک نماد برای توصیف معناشناسی این زبان توصیف کرد.
گزارش معهود که یک نماد جدید بود، همانند ''BNF'' در آینده نزدیک ظاهر خواهد شد، یا ظاهر نخواهد شد.
== تکامل ==
فقط ویژگیهای صوری (رسمی) توسعه یافتهاست، ویژگیها ممکن است به عنوان راهنما باشد، وقتی که سامانه مجزا پیشرفت میکند. (به عبارت دیگر در سختافزار یا نرمافزار تحقق مییابد)
== مثال ==
== اثبات ==
هر بار که یک ویژگیها صوری (رسمی) توسعه مییابد، ویژگیها ممکن است که به عنوان پایههایی برای
خواص [
=== اثبات انسانی ===
در بعضی مواقع، اقدام برای اثبات درستی یک سامانه مطلقاً نیاز به درستی سامانه ندارد، اما یک عاملی است برای بهتر فهمیدن سامانه. متناوباً بعضی اثباتها از طریق [[اثبات ریاضی|اثباتهای ریاضی]] انجام میشود. استفاده از [
=== اثبات خودکار ===
این باعث میشود که روشهای صوری بیشتر در شاخهها که سودهای داشتن چنین اثباتهایی به کار برده شوند، یا خطر افتادن در خطاهای کشف نشده، ارزش آنها را ذخیره میکند.
در حال حاضر استدلال کنندههای روشهای صوری ادعا کردهاند که تکنیکهای آنها مانند گلوله نقرهای خواهد بود در بحران سختافزاری.
البته،
== منابع ==
{{پانویس}}
* Mohammad Reza Nami and Fatemeh Hassani. 2009. [[doi:10.1145/1527202.1527211|A comparative evaluation of the Z, CSP, RSL, and VDM languages]].
* {{یادکرد-ویکی
|پیوند = http://en.wikipedia.org/wiki/Formal_methods
|بازیابی =
}}
* [http://ce.sharif.edu/courses/83-84/2/ce665/resources/root/last%20presentation/Formal%20Methods.ppt مروری بر روشهای رسمی تولید برنامه در مقایسه با روشهای متداول]
* (انگلیسی) http://shemesh.larc.nasa.gov/fm/fm-what.html
|