Programas por www.overturetool.org

O projeto Abertura está desenvolvendo um conjunto de plug-ins eclipse de código aberto para apoiar a integração de várias ferramentas de modelagem VDM (Método de Desenvolvimento de Viena). O objetivo é fornecer suporte para t