Enviar Software
  1. Casa
  2. Windows
  3. Outros
  4. Overture: Formal modelling in VDM
  5. Download

Overture: Formal modelling in VDM

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 2.6/5 - ‎5 ‎votos

Sobre Overture: Formal modelling in VDM

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 as ferramentas vDM existentes e dialetos linguísticos.

Programas Relacionados

  • Mkulu QA Proxy Grátis

    Mkulu QA Proxy é usado para ver os detalhes dos pacotes HTTP. É uma ferramenta útil para o desenvolvimento e teste web. Estão em curso trabalhos para aumentar a funcionalidade da ferramenta. O proxy é capaz de analisar o prot

  • Illumination Grátis

    Iluminação - uma biblioteca GUI C++ independente de recurso, rica em funcionalidades. Principais características: suporte à descrição da superfície XML, motor de layout nifty, sensibilidade de fonte, backends para X11, Window

  • HMM Based Chinese Segmentor Grátis

    Este é um projeto que implementa a interface do Lucene Analyzer para alargar a sua função de lidar com o problema da segmentação chinesa com base no modelo estatístico (Modelo Hiden Marcov)

  • NHibernateIt Grátis

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

  • AstroWeka Grátis

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

  • CalFaces Grátis

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

  • Complement Grátis

    Bibliotecas Multiplataformas C++. 1. xmt: Interface de programação portátil para construir aplicações ou bibliotecas multi-televisão (MT); 2. sockios: interface às tomadas (fluxos IO C++); 3. StEM: quadro finito de máquina/co

  • H3xC4T Grátis

    H3xC4T lê ficheiros binários e mostra conteúdo hexamal encomendado em colunas... no futuro, vou adicionar algumas funcionalidades como conversão binária simples ou desmontagem...

  • Charset detector Grátis

    Biblioteca para deteção automática de carvão de um determinado texto ou ficheiro. O tampão 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 c

  • Java Signal/Slot with Annotations Grátis

    Esta biblioteca é uma API de sinal/ranhura para Java 5.0 que utiliza anotações para marcar os sinais/ranhuras. Uma subclasse que contenha enums de sinal/ranhura, bem como métodos para emitir o sinal para as suas ranhuras, é g