द्वारा कार्यक्रम www.overturetool.org
-
Overture: Formal modelling in VDM मुफ्त
ओवरचर परियोजना विभिन्न वीडीएम मॉडलिंग टूल्स (वियना डेवलपमेंट मेथड) के एकीकरण का समर्थन करने के लिए ओपन सोर्स ग्रहण प्लग-इन का एक सेट विकसित कर रही है। इसका उद्देश्य सभी मौजूदा वीडीएम उपकरणों और भाषा बोलियों के लिए सहायता प्रद