Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. WATERS

WATERS

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

Águas - a Ferramenta de Análise Waikato para Eventos em Sistemas Reativos. Este software permitirá que os usuários criem modelos de máquinas de estado finito em uma interface gráfica de usuário, para simular sua execução e aplicar algoritmos de verificação de modelos a eles.

história da versão

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

Detalhes do programa

Programas Relacionados

  • XML Template Processor Livre

    As normas ISO baseadas em XML para documentos (OOXML, ODF, XHTML ...) facilitaram a tarefa de geração de relatórios. A biblioteca JAVA XTP ( Processador de Modelo XML ) preenche modelos de relatório (criados por designers) co

  • Rule MANager for Snort Livre

    Regra MANagaer para Snort Um complemento PHP para snort para gerenciar os bancos de regras em vários sensores deum Snort MySQL db central.Principais Características: Ruleset mesclagem por grupo do Snort CVS.Atualizaçã

  • GraphStream Livre

    Uma biblioteca Java e um conjunto de ferramentas para manipular rapidamente e facilmente gráficos (conjunto de nódulos e bordas) e gráficos dinâmicos. O principal traço desta biblioteca é sua capacidade de gerenciar (criar, e

  • Cut Order Plan Livre

    Cut-Order Plan é uma ferramenta usada na indústria de vestuário para fazer plano de corte. Recursos:-*Agora ele lida com um único tecido de cada vez.*Funciona para possibilidades mínimas de marcador.*Opção para adicionar cont

  • Japano Webapplication Toolkit Livre

    Japano é um kit de ferramentas e motor baseado em java-servlet. Oferece lógica de site fácil e criação de formulários HTML e oferece integração de atualizações dinâmicas de javascript (AJAX). Um webapp de exemplo facilita o d

  • Reboot Control Widget Avaliação gratuita

    Widget de reinicializaçãoACESSO RAIZ NECESSÁRIO***Este Widget permitirá que você reinicie qualquer dispositivo, incluindo Características:ReiniciarBota quenteReiniciar para RecuperaçãoReiniciar para bootloa

  • OpenWiz Livre

    OpenWiz é um projeto que auxilia no desenvolvimento de software de código aberto para a máquina portátil GamePark Holdings Wiz. Manteremos o acesso público às fontes do kernel, bem como forneceremos firmwares alternativos, fe

  • JCortex (Neural Networks Framework) Livre

    JCortex é uma solução completa que permite que desenvolvedores de software criem, eduquem e usem Redes Neurais Artificiais em projetos Java. Divide-se em dois elementos: JCortex Framework, uma estrutura ANN Java; e JCortexBui

  • QPythonShell Livre

    Uma Concha Python foi construída diretamente a partir de Qt, QScintilla e da API Python C, que possui destaque de sintaxe e conclusão de código simples através de um Qt GUI. Espera-se que um Qt Widget possa ser construído a p

  • xacc.ide Livre

    xacc.ide é um IDE de fonte aberta voltado principalmente para o desenvolvimento .NET. Ele tem um editor de código escrito em código 100% C#, que é mais rápido do que a maioria das ofertas comerciais.