Programmi di www.overturetool.org

Il progetto Overture sta sviluppando una serie di plug-in Eclipse open source per supportare l'integrazione di vari strumenti di modellazione VDM (Vienna Development Method). L'obiettivo è fornire supporto a tutti gli strumen