Programmes par www.overturetool.org

Le projet Ouverture développe un ensemble de plug-ins Eclipse open source pour soutenir l’intégration de divers outils de modélisation VDM (Méthode de développement de Vienne). L’objectif est de soutenir tous les outils VDM e