Enviar software
  1. Casa
  2. Linux
  3. Outros
  4. Slicefy

Slicefy

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

Uma ferramenta para a especificação e verificação de sistemas simultâneos por meio de fatias.

história da versão

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

Detalhes do programa

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