Chương trình theo www.overturetool.org
-
Overture: Formal modelling in VDM Miễn phí
Dự án Overture đang phát triển một tập hợp các plug-in Eclipse mã nguồn mở để hỗ trợ tích hợp các công cụ mô hình hóa VDM khác nhau (Phương pháp phát triển Vienna). Mục đích là để cung cấp hỗ trợ cho tất cả các công cụ VDM hi