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

WATERS

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 3.0/5 - ‎1 ‎votos
Baixar

Águas - a Ferramenta de Análise waikato para eventos em sistemas reativos. Este software permitirá aos utilizadores criar modelos de máquinas de estado finito numa interface gráfica do utilizador, simular a sua execução e aplicar-lhes algoritmos de verificação de modelos.

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 Grátis

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

  • Rule MANager for Snort Grátis

    Regra MANagaer para Snort Um addon PHP para snort para gerir as regras em vários sensores a partir deum snort central MySQL db.Principais características: Ruleset fundindo-se por grupo a partir de snort CVS.Atualizaçã

  • GraphStream Grátis

    Uma biblioteca java e um conjunto de ferramentas para manipular de forma rápida e fácil gráficos (conjunto de nós e bordas) e gráficos dinâmicos. O principal traço desta biblioteca é a sua capacidade de gerir (criar, editar,

  • Cut Order Plan Grátis

    O Plano de Ordem de Corte é uma ferramenta usada na indústria de vestuário para fazer plano de corte. Características:-*Neste momento lida com um único tecido de cada vez.*Funciona para possibilidades mínimas de marcador.*Opç

  • Japano Webapplication Toolkit Grátis

    Japano é um kit de ferramentas e motor de aplicação web baseado em java-servlet. Oferece uma lógica de website fácil e criação de formulário HTML e oferece integração de atualizações dinâmicas de javascript (AJAX). Uma amostr

  • Reboot Control Widget Julgamento Gratuito

    Reiniciar WidgetACESSO À RAIZ NECESSÁRIO***Este Widget permitir-lhe-á reiniciar qualquer dispositivo, incluindo Características:ReiniciarBota QuenteReiniciar para a recuperaçãoReiniciar para BootloaderDes

  • OpenWiz Grátis

    OpenWiz é um projeto que ajuda 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, ferr

  • JCortex (Neural Networks Framework) Grátis

    O JCortex é uma solução completa que permite aos desenvolvedores de software criar, educar e utilizar redes neurais artificiais em projetos java. Divisões em dois elementos: Quadro JCortex, um quadro ANN Java; e jCortexBuilde

  • QPythonShell Grátis

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

  • xacc.ide Grátis

    xacc.ide é um IDE de fonte aberta destinado principalmente ao desenvolvimento .NET. Tem um editor de código escrito em código 100% C#, que é mais rápido que a maioria das ofertas comerciais.