Slicefy
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://slicefy.svn.sourceforge.net/
Sobre Slicefy
Uma ferramenta para a especificação e verificação de sistemas simultâneos por meio de fatias.
Programas Relacionados
-
Transform SWF for Java Livre
Transform SWF é uma biblioteca fácil de usar para ler e escrever arquivos Flash e Flash Video. A partir de 25/11/2010, a versão mais recente (3.0) já pode ser encontrada no GitHub, https://github.com/StuartMacKay/transform-sw
-
CodeSnip Livre
O CodeSnip gerencia, exibe e manipula um repositório de código-fonte. O repositório pode exibir trechos armazenados localmente baixados do banco de dados de snippets de código on-line, bem como trechos de código definidos pel
-
Jester Livre
Jester é um testador de teste para testar seus testes java JUnit (Pester é para testes Python PyUnit). Ele modifica seu código fonte, executa os testes e informa se os testes passam apesar das alterações no código. Isso pode
-
ApacheBuilder Livre
ApacheBuilder constrói Apache (com módulos opcionais de Mod_SSL e Mod_Perl) a partir de fontes, solicitando param de localização, etc. Quando feito, ele começa Apache e verifica que tudo funciona bem.
-
NDAI Reference Library for HFI Livre
Uma implementação de biblioteca de referência NDAI (Network Datagram Abstraction Interface, interface de abstração de dados de rede) para a rede HFI integrada de alta velocidade da IBM.
-
QueryXMMS Livre
O QueryXMMS usa libxmms para consultar o popular reprodutor multimídia Linux XMMS sobre seu estado atual.
-
Leseratte Livre
Leseratte é um parser java para língua escrita em alemão. Atualmente, contém um léxico alemão (baseado no Wiktionary), regras de inflexão, uma gramática e um analisador. (Componente semântico planejado.) Utilizável como uma b
-
aspell-nds Livre
Este projeto fornece um módulo de língua saxã baixa para o programa de aspell GNU. Baixo Saxão (código da língua ISO: nds) é uma língua regional falada no norte da Alemanha e na parte oriental dos Países Baixos.
-
Yet Another Object Request Broker Livre
No entanto, outro corretor de solicitação de objeto é uma implementação do CORBA, escrito em C++
-
Open Source Tracker Livre
Open Source Tracker é um middleware para rastreabilidade eletrônica de mensagens alimentares, por exemplo TraceCoreXML. O OST vem com uma interface web opcional usada para visualizar, gerar, exchagem e traduzir mensagens de r