Programas por www.overturetool.org

O projeto Overture está a desenvolver um conjunto de plug-ins eclipse de código aberto para apoiar a integração de várias ferramentas de modelização VDM (Método de Desenvolvimento de Viena). O objetivo é prestar apoio a todas