क्या सी ++ में औपचारिक विनिर्देश के लिए कोई पुस्तकालय/उपकरण है, जैसे कि JML जावा के लिए, और Data Contracts सी # में?औपचारिक विशिष्टता
संपादित करें:
मैं अधिक से अधिक विशिष्ट कुछ के लिए नहीं देख रहा हूँ, इसका इस्तेमाल करने के व्यावहारिक है और कुछ मूल्य/गुणवत्ता कहते हैं।
EDIT2:
मैं यूएमएल उपकरणों के लिए नहीं देख रहा हूँ, कृपया उदाहरण मैं प्रदान नहीं की है।
आईबीएम वाजिब गुलाब यूएमएल सॉफ्टवेयर पूरा यूएमएल मॉडल के अनुसार सी ++ कोड उत्पन्न करता है।
कभी कभी यह हालांकि उपयोग किया है, वास्तव में मेरा मतलब नहीं। बस एक संक्षिप्त रूप और केवल यूएमएल कार्यक्षमताओं पर।
निष्पादन योग्य यूएमएल की तरह कुछ लगता है। हालांकि, मैं कार्यान्वयन के व्यवहार को निर्दिष्ट करने के लिए ज़ोर देने से अधिक औपचारिक तरीके की तलाश में हूं। – ronag
धन्यवाद, निष्पादन योग्य यूएमएल के बारे में कभी नहीं सुना। बहुत दिलचस्प। –
अस्पष्ट होने के लिए खेद है। मेरा मतलब था कि यूएमएल बहुत औपचारिक है, हालांकि सी/सी ++ का जोर पर्याप्त औपचारिक नहीं है। मैंने ब्रिजपॉइंट जैसे कुछ यूएमएल आधारित उपकरणों के साथ काम किया है, और वे अपने मूल्य से अधिक परेशानी जोड़ते हैं। फ़ंक्शन कॉन्ट्रैक्ट्स और क्लास इनवेरिएंट्स जिनमें मुझे अधिक दिलचस्पी है। – ronag
आप एक उपद्रव के बिना यूएमएल करने के लिए एक सरल उपकरण के लिए देख रहे हैं, StarUML एक खुला स्रोत (केवल Windows) परियोजना है। मैंने आईबीएम तर्कसंगत गुलाब और माइक्रोसॉफ्ट विसियो (यूएमएल एक्सटेंशन के साथ) का उपयोग किया है और मुझे कहना है कि स्टारयूएमएल इतना अच्छी तरह से किया गया है।
मैं वर्ग चित्र की तुलना में कुछ और करने की कोशिश की कभी नहीं किया है, और मेरे अनुभव अनौपचारिक विनिर्देशों और छोटी परियोजनाओं के लिए मुख्य रूप से है। इसमें कुछ कोड पीढ़ी की विशेषताएं भी हैं, लेकिन मैंने कभी कोशिश नहीं की है। आकर्षक, JML, प्रेरित मैं इसका इस्तेमाल करने की कोशिश कर रखना, लेकिन समय नहीं बना सकते - - करने के लिए ग मुझे विश्वास विशिष्ट Larch/C++ Reference Manual
एक प्रकार का वृक्ष/C++ पर एक नज़र डालें। लेकिन कम से कम संकेत प्रदान करना चाहिए C++ उपकरण
FRAMA-सी:
बहुत अच्छा सवाल लगता है - हालांकि मैं केवल स्नातक विद्यालय के कार्य के लिए औपचारिक कल्पना किया है, मैं वहाँ इसके लिए किसी भी टूलींग बाहर है कि सख्ती से शैक्षिक नहीं है अगर पता करने के लिए दिलचस्पी होगी। –
हम अपने विनिर्देशों के लिए विकी का उपयोग करते हैं। –
एक विकी काम करता है, हालांकि मैंने अनुभव की समस्या यह है कि जब कई लोग "विकी" कोड पर काम करते हैं और "विनिर्देशन" के अन्य रूपों को प्रत्येक पुनरावृत्ति के साथ कम लागू किया जाता है। – ronag