Tarafından Programlar www.overturetool.org
-
Overture: Formal modelling in VDM Ücret -siz
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