Overture: Formal modelling in VDM

Lisans: Ücret -siz ‎Dosya boyutu: N/A
‎Kullanıcı Derecelendirmesi: 2.6/5 - ‎5 ‎Oy

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 destek sağlamaktır.

sürüm geçmişi

  • Sürüm Overture_IDE tarihinde gönderildi 2011-02-27
    Çeşitli düzeltmeler ve güncelleştirmeler
  • Sürüm N/A tarihinde gönderildi 2011-02-27

Program Detayları