• 《维也纳发展方法之一是建立的工具采用的创造的基于计算机系统和软件。 具有强大的连接的数学、VDM是一个电动工具使用，通过它的专家，世界各地生成准确的模型。

    在这方面，序曲的工具提出了自己作为一个值得注意的综合发展的环境(IDE)为开发和分析VDM模块。 它可以是一个高度有效的实用程序开发者和学生专门从事编程和开发新的应用程序。

    与大多数类似的产品，节目配备了一个非常复杂和模块式的界面，将需要一些时间才能习惯。 然而，除非纯粹数量的菜单项和窗户是特定的这个软件，资深专业人士将迅速认识到经典代码的发展布局，有大窗户，用于输入线和几个侧面板出错或者调试记录和变量清单。

    与任何时间证明的产品，有几个VDM方言用于发展和该计划支持三个版本：SL(标准ISO/VDM-SK有一个模块化的扩展)，PP(面向对象的取向的正式规格)和RT(用于进行建模和分析实时嵌入式系统)。

    一旦一个话已经被选中，用户是免费的，包括几个图书馆。 这些将采用的今后项目和变量包含在其中可以确定的绩效的一种模式。 该程序允许用户定义断点和观察点，这大大方便了调试该项目。

    总的来说，序曲的工具是一个伟大的工具，为专门VDM或数学专业人员，谁可以使用其运行调试的综合模型。

  • वियना विकास विधि में से एक है की स्थापना की उपकरण कार्यरत बनाने में कंप्यूटर-आधारित सिस्टम और सॉफ्टवेयर. होने कनेक्शन मजबूत करने के लिए गणित, VDM एक विद्युत उपकरण के द्वारा प्रयोग किया यह विशेषज्ञों दुनिया भर में सभी उत्पन्न करने के लिए सही मॉडल है ।

    इस संदर्भ में, ओवरचर उपकरण के रूप में ही प्रस्तुत एक उल्लेखनीय एकीकृत विकास पर्यावरण (आईडीई) के विकास के लिए और विश्लेषण करने VDM मॉड्यूल. यह हो सकता है एक अत्यधिक शक्तिशाली उपयोगिता के लिए डेवलपर्स और छात्रों में विशेषज्ञता प्रोग्रामिंग और विकास के नए अनुप्रयोगों ।

    के रूप में सबसे अधिक इसी तरह के उत्पादों, इस कार्यक्रम के साथ आता है एक बहुत ही जटिल और मॉड्यूलर इंटरफेस है कि कुछ समय ले जाएगा करने के लिए आदी हो जाओ करने के लिए है । हालांकि, को छोड़कर की सरासर संख्या से मेनू आइटम और windows कर रहे हैं कि विशेष रूप से करने के लिए इस सॉफ्टवेयर, अनुभवी पेशेवरों तेजी से पहचान क्लासिक कोड के विकास के लेआउट, के साथ एक बड़ी खिड़की के लिए इनपुट लाइनों और कुछ साइड पैनल के लिए त्रुटि या डिबग लॉग्स और चर की सूची ।

    के रूप में किसी भी समय-सिद्ध उत्पाद, वहाँ रहे हैं कई VDM बोलियों के लिए उपलब्ध विकास और कार्यक्रम का समर्थन करता है तीन संस्करणों: SL (मानक आईएसओ/VDM-एसके के साथ एक मॉड्यूलर विस्तार), पीपी (की दिशा में सक्षम वस्तु उन्मुख औपचारिक निर्दिष्टीकरण) और आर टी (करने के लिए इस्तेमाल किया मॉडल और विश्लेषण वास्तविक समय एम्बेडेड सिस्टम).

    एक बार एक बोली के लिए चुना गया है, उपयोगकर्ताओं को मुक्त कर रहे हैं शामिल करने के लिए कई पुस्तकालयों. इन नियोजित किया जाएगा भविष्य में परियोजना और चर उसमें निहित निर्धारित कर सकते हैं प्रदर्शन के लिए एक मॉडल है । कार्यक्रम की अनुमति देता है उपयोगकर्ताओं को परिभाषित करने के लिए ब्रेकप्वाइंट और देखो-अंक है, जो बहुत की सुविधा डिबगिंग के परियोजना है ।

    संक्षेप में, ओवरचर उपकरण के लिए एक महान उपकरण विशेष VDM यह या गणित पेशेवरों, जो काम कर सकते हैं यह करने के लिए चलाने के लिए और डिबग व्यापक मॉडल है ।

  • The Vienna Development Method is one of the established tools employed in creating computer-based systems and software. Having strong connections to Mathematics, VDM is one of the power tools used by IT specialists all over the world to generate accurate models.

    In this context, Overture Tool presents itself as a noteworthy Integrated Development Environment (IDE) for developing and analyzing VDM modules. It can be a highly potent utility for developers and students specializing in programming and the development of new applications.

    As with most similar products, the program comes with a very complex and modular interface that will take some time to get accustomed to. However, barring the sheer number of menu items and windows that are particular to this software, veteran professionals will swiftly recognize the classic code development layout, with a large window for input lines and a few side panels for error or debug logs and variable lists.

    As with any time-proven product, there are several VDM dialects available for development and the program supports three versions: SL (the standard ISO/VDM-SK with a modular extension), PP (geared towards object oriented formal specifications) and RT (used to model and analyze Real-Time embedded systems).

    Once a dialect has been chosen, users are free to include several libraries. These will be employed in the future project and the variables contained therein can determine the performance of a model. The program allows users to define breakpoints and watch-points, which greatly facilitates debugging the project.

    Summing up, Overture Tool is a great tool for specialized VDM IT or Mathematics professionals, who can employ it to run and debug comprehensive models.