Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Overture: Formal modelling in VDM

Overture: Formal modelling in VDM

Licença: Livre ‎Tamanho do arquivo: N/A
‎Classificação dos usuários: 2.6/5 - ‎5 ‎Votos
Download

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.

história da versão

  • Versão Overture_IDE postado em 2011-02-27
    Várias correções e atualizações
  • Versão N/A postado em 2011-02-27

Detalhes do programa

Programas Relacionados

  • Mkulu QA Proxy Livre

    Mkulu QA Proxy é usado para visualizar os detalhes dos pacotes HTTP. É uma ferramenta útil para o desenvolvimento e testes da Web. O trabalho está em andamento para aumentar a funcionalidade da ferramenta. O proxy é capaz de

  • Illumination Livre

    Iluminação - uma biblioteca de GUI C++ independente de recursos e rica em pratos. Principais características: capacidade de análise, suporte à descrição da superfície XML, motor de layout bacana, sensibilidade de fontes, back

  • HMM Based Chinese Segmentor Livre

    Trata-se de um projeto que implementa a interface do Lucene Analyzer para ampliar sua função de lidar com o problema da segmentação chinesa com base no modelo estatístico (Hiden Marcov Model)

  • NHibernateIt Livre

    O NHibernateIt é um Auxiliar de Gerenciamento de Sessão NHibernate e fornece ações CRUD básicas através da classe Repositório. Inspirado no Projeto NHibernator, em oracleatdotnet.com

  • AstroWeka Livre

    AstroWeka é um conjunto de extensões para Weka, um popular programa de mineração de dados, que permite que ele trabalhe diretamente com dados astronômicos no Observatório Virtual.

  • CalFaces Livre

    CalFaces (anteriormente jsforganiser) é uma coleção de componentes JavaServer Faces para uso em aplicativos PIM baseados na Web, fornecendo um calendário no estilo Outlook com vistas de dia, semana de trabalho, semana e mês,

  • Complement Livre

    Bibliotecas C++ multiplataforma. 1. xmt: Interface de programação portátil para construir aplicativos ou bibliotecas MultiThreaded (MT); 2. sockios: interface para soquetes (fluxos C++ IO); 3. StEM: estrutura finita de máquin

  • H3xC4T Livre

    H3xC4T lê arquivos binários e mostra conteúdo hexadecimal encomendado em colunas... no futuro, vou adicionar algumas características como conversão binária simples ou desmontagem...

  • Charset detector Livre

    Biblioteca para detecção automática de charset de um determinado texto ou arquivo. O buffer de entrada será analisado para adivinhar a codificação usada. O resultado (nome de charset ou id de página de código) pode ser usado

  • Java Signal/Slot with Annotations Livre

    Esta biblioteca é uma API de sinal/slot para Java 5.0 que usa anotações para marcar os sinais/slots. Uma subclasse contendo enumes de sinal/slot, bem como métodos para emitir o sinal para seus slots, é gerada automaticamente