मैंने B-Method के बारे में सुना जो फ्रांस में आविष्कार किया गया है। क्या यह पारंपरिक प्रोग्रामिंग भाषाओं जैसे सी ++ और जावा का विकल्प है या क्या यह विभिन्न उद्देश्यों के साथ एक पूरी तरह से अलग बात है?क्या बी-विधि पारंपरिक प्रोग्रामिंग भाषाओं का विकल्प है?
B-website उद्धरण:
बी एक औपचारिक विनिर्देश विधि जो, एक पर्याप्त भाषा के लिए धन्यवाद, बेहद सटीक भाव संपत्तियों की विनिर्देशों के लिए आवश्यक के लिए अनुमति देता है। फिर में एक पूरी तरह से स्वचालित फैशन साबित हो सकता है कि ये गुण अस्पष्ट, सुसंगत हैं और विरोधाभासी नहीं हैं। यह हमें गणितीय रूप से साबित करने की अनुमति देता है कि इन गुणों को खाते में ले जाया गया है क्योंकि डिज़ाइन चरण प्रगति के रूप में हैं।
इसलिए, इस विधि और उसके जुड़े सबूत के लिए अनुमति देते हैं: (1) स्पष्ट तकनीकी विशिष्टताओं और प्रणाली विनिर्देशों कि, संरचित सुसंगत और स्पष्ट कर रहे हैं, और (2) सॉफ्टवेयर के विकास पर पहुंच गया है कि संविदात्मक रूप से गलती मुक्त होने की गारंटी है।
अपने प्रश्न का उत्तर देने के लिए: नहीं, बी-विधि प्रोग्रामिंग भाषाओं का विकल्प नहीं है। यह कार्यक्रमों के लिए ब्लूप्रिंट बनाने का एक तरीका है और यह सत्यापित करने के लिए कि आपने जो चीज बनाई है वह वास्तव में ब्लूप्रिंट द्वारा वर्णित कार्य करता है। यदि आप इसे समझ नहीं पाते हैं तो आप इसके बारे में सुरक्षित रूप से भूल सकते हैं।
नहीं, विकिपीडिया लेख कहता है, बी-विधि एक प्रोग्रामिंग भाषा नहीं है Formal Method है। आप विकिपीडिया पर औपचारिक तरीकों पर भी पढ़ सकते हैं। असल में, उनका उपयोग एल्गोरिदम का वर्णन और सत्यापन करने के लिए विकास के दौरान किया जा सकता है।