QuickCheck for Java 4j
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/qc4j/files/qc4j-core/qc4j-core-0.1/qc4j-core-0.1.jar/download
Sobre QuickCheck for Java
QC4J é uma estrutura de teste automatizada baseada em especificações, baseada no QuickCheck para Haskell. Facilita o teste de código referencialmente transparente, criando automaticamente dados de teste através de geradores definidos pelo utilizador.
Programas Relacionados
-
Invisible Protector II Pro Grátis
Protetor Invisível proteja as suas aplicações privadas com erro falsoQual é o melhor protetor de aplicações da #39? Senha forte? Claro que não. O melhor proector deixaria prier não estar ciente de qualquer proteção e também
-
BDB Developer Edition Julgamento Gratuito
BDB é um software de design de base de dados completo.Suporta Oracle, SQL Server, MySQL, Access, SQLAnywhere e Sybase.Além disso, o BDB é também uma grande ferramenta sql query Intellisense.Principais características
-
Supermount removable media support Grátis
Supermount é um pseudo-sistema de ficheiros que gere sistemas de ficheiros em suportes amovíveis como discos floppy e CD-ROMs. Liberta-o da necessidade de montar manualmente e desmontar os meios de comunicação.
-
Smart Lock Lite(App Protector) Grátis
Bloqueie qualquer aplicação no seu telefone.Não se preocupe mais quando mostrar o telefone aos amigos.Precisa de um pouco de privacidade para o seu dispositivo android?Odeia alguém para brincar com mensagens sensíveis,
-
Airpush Finder Julgamento Gratuito
Foi incomodado com a notificação do anúncio? O Airpush Finder pode ajudá-lo a encontrar e remover facilmente as aplicações com notificação Airpush.A velocidade de busca de Airpush Finder é muito rápida, só precisa de algu
-
Tamil Tools Grátis
O objetivo do projeto Tamil Tools é consolidar os principais softwares de código aberto relacionados com a língua Tamil num só local. O objetivo imediato é desenvolver um conversor de codificação padrão entre tSCII, TAB e Un
-
Petri-LLD Grátis
Petri-LLD é um ambiente de desenvolvimento gráfico para o controlo da automatização em tempo real e está escrito em Java. Baseia-se numa forma de rede Petri, e compila-se a uma série de linguagens programáveis de controlador
-
Advanced Message Julgamento Gratuito
Advanced Message é uma aplicação de mensagens android melhorada e avançada, pode enviar e receber emojis e mensagem de grupo com amigos, pode personalizar mais funcionalidades nesta aplicação, basta ver a funcionalidade seg
-
Hoepsch JSON Grátis
Hoepsch JSON é uma biblioteca java para criar e ler Objetos JSON. A biblioteca centra-se na facilidade de utilização, simplicidade e consistência. A criação de objetos através do add/get é suportada, bem como a triagem de obj
-
mspgcc4 Grátis
Este é um porto do ramo GCC 4.x para o núcleo de microcontrolador MSP430 da Texas Instruments. Baseia-se no projeto MSPGCC que está preso ao GCC 3.2.3.