![](/statics/img/blank.png)
Overture: Formal modelling in VDM
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 2.6/5 - 5 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre Overture: Formal modelling in VDM
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 todas as ferramentas VDM existentes e dialetos de idioma.