Tarafından Programlar www.overturetool.org

Uvertür projesi, çeşitli VDM modelleme araçlarının (Viyana Geliştirme Yöntemi) entegrasyonunu desteklemek için bir dizi açık kaynak Eclipse eklentisi geliştirmektedir. Amaç, mevcut tüm VDM araçları ve dil lehçeleri için deste