Programma's van www.overturetool.org
-
Overture: Formal modelling in VDM Gratis
Het Overture-project ontwikkelt een reeks open source Eclipse-plug-ins ter ondersteuning van de integratie van verschillende VDM-modelleringstools (Vienna Development Method). Het doel is om ondersteuning te bieden aan alle b