فورمل طریقے ہیں ریاضیاتی تکنیکیں جو نظامیاتی نظام کو درستی، ترقی اور ہارڈ ویئر اور ہارڈ ویئر نظام کی تصدیق کے لیے استعمال کی جاتی ہیں ۔
فارمل کو سمجھنے کی کوشش کریں
یہ ماڈلز ترقیپذیر نظاماُلعمل میں پہلے ہی انتہائی غیرمعمولی یا پیچیدہ شناختی نظام کو استعمال کرتے ہیں ۔
فورمل کی ضرورت کے فوائد
منظوری کے تقاضوں کا اطلاق کرنے کے رسمی طریقوں کا اطلاق کئی فوائد کی حامل ہے:
- درستی: [1] میکانیال تجزیہ تقاضوں میں غلطیوں کو کم کرتا ہے۔
- مسائل کی آگاہی : عمل شروع ہونے سے پہلے مسائل معلوم ہوتے ہیں۔
- [Imporial communication: کھلی ہوئی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چھوٹی چکی ہے۔
- [Enhananced system: [1] بد نظمی نظام غیر قانونی طور پر قابلِ عمل ہونے سے فائدہ اٹھاتے ہیں۔
عام فارمل ایمپائر ٹیکنالوجیز
رسمی تقاضوں کے تحت کئی تکنیکیں استعمال کی جاتی ہیں جن میں یہ بھی شامل ہے:
- Madisel چیکنگ: خود کار آلات تصدیق کرتے ہیں کہ آیا کوئی ماڈل کچھ خصوصیات رکھتا ہے یا نہیں۔
- تھیورم ثابت : [1] ریاضیاتی ثبوتات نظام کی درستی کی تصدیق کرتے ہیں۔
- Formal specialation languages: زبانیں مثلا زی یا VDM بالکل نظامی کی تشریحات کرتی ہیں۔