Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Desing by Contract Utilities

Desing by Contract Utilities 0.4

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

O projeto fornecerá um conjunto muito pequeno de classes de utilidade utilizáveis para verificação de invariantes de classe pré e pós-condições

história da versão

  • Versão dbc-utilities0.4 postado em 2006-05-09
    Várias correções e atualizações
  • Versão dbc-utilities0.4 postado em 2006-05-09

Detalhes do programa

Programas Relacionados

  • ZABBIX Livre

    ZABBIX é uma solução de monitoramento distribuído de código aberto de classe empresarial projetada para monitorar e acompanhar o desempenho e a disponibilidade de servidores de rede, dispositivos e outros recursos de TI. Ele

  • Fine Livre

    Fine é um derivitive do compilador SmallEiffel. No entanto, em um esforço para melhorar (?) sobre a língua Eiffel, ele tem algumas características adicionais e modificadas. Todos os esforços serão feitos para mantê-lo compa

  • FullPage for eBay (UK) Avaliação gratuita

    Este aplicativo permite que você use ebay.co.uk como faria a partir do seu computador desktop.O FullPage abre o ebay em um navegador projetado para auxiliar a navegação e aumentar a diversão de usar o site do ebay.Link

  • GridSAM Livre

    A GridSAM fornece um serviço web baseado em padrões abertos de submissão de trabalho para enviar trabalhos computacionais a muitos sistemas de gerenciamento de recursos distribuídos comumente usados.

  • ESMERALDA Livre

    ESMERALDA é um ambiente de desenvolvimento para estatísticasreconhecedores operando em dados sequenciais (fala, caligrafia,sequências biológicas). Ele suporta densidade contínua OcultaModelos Markov, modelos de cadeia M

  • EditBox Livre

    EditBox é o plugin Eclipse para destaque de fundo de código fonte. Enquanto a maioria dos plugins destaca a sintaxe do código-fonte, o EditBox destaca o bloco selecionado do código alterando sua cor de fundo e desenhando bord

  • DataMiningGrid Livre

    Ferramentas e serviços compatíveis com WSRF para mineração de dados em ambientes de computação em grade, com base em: Globus Toolkit 4, Condor e Triana sistema de fluxo de trabalho. Saiba mais em: http://www.datamininggrid.or

  • Finch package dependency engine Livre

    Finch é um mecanismo de gerenciamento de gráficos de dependência de pacotes com interfaces em muitas linguagens de programação (C, Obj-C, Perl, etc). O objetivo deste projeto é fornecer uma substituição robusta para o atual

  • jpegEnc Livre

    O objetivo da JPEGEnc é fornecer um Encoder JPEG fundamental. Principais características: * Impressão de pé minúsculo * Duas vezes mais rápido que o processo libjpeg * está em banda por banda. Saída para um buffer especificad

  • NLChunker Livre

    Marcador de pedaços da língua natural para identificar grupos substantivos e grupos de verbos em um determinado discurso