Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Java Modeling Language (JML)
  5. Download

Java Modeling Language (JML)

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

Sobre Java Modeling Language (JML)

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 em design por contrato -- DBC). Ele tem muitas ferramentas para fazer verificação de afirmação, teste de unidade, etc.

Programas Relacionados

  • OpenSeeds Livre

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

  • JNI++ Livre

    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 Livre

    Este projeto fornece um kernel simples para a construção de aplicativos distribuídos baseados em agentes. Baseia-se na ideia de que os princípios subjacentes à programação do fluxo de dados são adequados para projetar uma lin

  • Flicky Web Launcher Avaliação gratuita

    Este aplicativo é 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 pertencem aos seus respectivos proprietários)I

  • MGP Livre

    O plugin Maven GWT é usado para compilar arquivos de origem JavaScript da fonte Java. O plugin executa o GWTCompiler, permite configurar opções de compiladores, detecta automaticamente a localização dos arquivos de origem e r

  • Delta Compositor Livre

    Delta Compositor é um pacote de composição de filmes high-end e efeitos especiais. Está em desenvolvimento muito precoce. Uma versão baseada em script já está disponível. A GUI está atualmente em planejamento e desenvolviment

  • Database Access Framework Livre

    Uma versão aprimorada do Data Access Application Block a partir de padrões e práticas da Microsoft Enterprise Library 2.0.

  • jDummy Livre

    jDummy é uma extensão do jMock, uma biblioteca para testar código Java com objetos simulados. jDummy reduz o código necessário para expressar expectativas relevantes gerando os valores falsos e objetos simulados intermediário

  • ALPprolog Livre

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

  • C++ Object Interfacing Dispatcher Livre

    COID é uma biblioteca de rede de serviço de objetos C++, com ferramenta que gera automaticamente camada de comunicação leve diretamente das declarações da classe C++.