Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. Java Modeling Language (JML)

Java Modeling Language (JML)

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

O Java Modeling Language (JML) é uma linguagem de especificação de interface comportamental que pode ser usada para especificar o comportamento dos módulos Java (como no design por contrato -- DBC). Tem muitas ferramentas para fazer verificação de afirmação, testes de unidade, etc.

história da versão

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

Detalhes do programa

Programas Relacionados

  • OpenSeeds Grátis

    OpenSeeds é um modelo de desenvolvimento web de código aberto projetado para o ambiente LAMP. É projetado com sistemas complexos em mente. A estrutura em si é leve. O modelo do objeto é simplista.

  • JNI++ Grátis

    Este projeto fornece dois utilitários geradores de código e uma biblioteca C++ central que simplifica a programação para o JNI em C++.

  • Almende's Abbey Agent Kernel Grátis

    Este projeto fornece um núcleo simples para a construção de aplicações distribuídas por agentes distribuídos. Baseia-se na ideia de que os princípios subjacentes à programação do fluxo de dados são adequados para conceber uma

  • Flicky Web Launcher Julgamento Gratuito

    Esta aplicação é apenas um ícone que lança o site About.com.Facilita a acesso ao site do Flickr.appjungle.net não afiliado ao Flickr.(todas as marcas comerciais são propriedade dos respetivos proprietários)Is

  • MGP Grátis

    O plugin Maven GWT é utilizado para compilar ficheiros de origem JavaScript a partir da fonte Java. O plugin executa o GWTCompiler, permite configurar opções de compilador, deteta automaticamente a localização de ficheiros de

  • Delta Compositor Grátis

    Delta Compositor é um pacote de composição de filmes de alta qualidade e efeitos especiais. Está em desenvolvimento muito inicial. Uma versão baseada em scripts está agora disponível. Um GUI está atualmente em planeamento e d

  • Database Access Framework Grátis

    Uma versão melhorada do Bloco de Aplicações de Acesso a Dados a partir dos padrões e práticas da Microsoft Enterprise Library 2.0.

  • jDummy Grátis

    jDummy é uma extensão para jMock, uma biblioteca para testar código Java com objetos falsos. jDummy reduz o código necessário para expressar as expectões relevantes, gerando os valores falsos e objetos ridículos intermédios n

  • ALPprolog Grátis

    ALPprolog é uma implementação de prologar de uma linguagem de programação de ação. Com o ALPprolog pode programar estratégias para agentes autónomos em domínios dinâmicos como, por exemplo, o mundo Wumpus.

  • C++ Object Interfacing Dispatcher Grátis

    CoID é uma biblioteca de rede de rede c++ que serve objetos, com ferramenta que gera automaticamente camadas de comunicação leves diretamente a partir das declarações de classe C++.