Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. Bogor-PubSub

Bogor-PubSub 0.1

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

Bogor-PubSub é um conjunto de extensões para o verificador de modelo Bogor que permite verificação automática precisa das infraestruturas de publicar-subscribe.

história da versão

  • Versão loupe-0.1 postado em 2009-05-06
    Várias correções e atualizações
  • Versão loupe-0.1 postado em 2009-05-06

Detalhes do programa

Programas Relacionados

  • Neural network designer Livre

    Este projeto consiste em um aplicativo de designer baseado em windows e uma biblioteca (que pode ser executada em várias plataformas, incluindo android) juntamente com vários aplicativos de demonstração (incluindo um cliente

  • HRMEdit Livre

    Aplicativo para visualização e edição especialmente de arquivos HRM gerados por Monitores polares de frequência cardíaca (por exemplo, S720i, S725X, S625X). Ele fornece uma GUI para encontrar erros e corrigir manualmente amos

  • MSLK Livre

    A MSLK fornece os binários Win32 pré-compensados de algum excelente porject com uma licença de código aberto GPL ou similar. Aqui vai se manter atualizado.

  • phpMySetiStats Livre

    phpMySetiStats é uma ferramenta para exibir estatísticas SETI@home de processos em execução e estatísticas pessoais de Berkeley. Ele usa MySQL em backened. Crontab também é recomendado.

  • MbLoc Locator Livre

    Recursos do software:1. Posicionamento nas estações base da operadora móvel, bem como GPS (Se esse recurso estiver ativado em seu telefone [Configurações-> Localização & segurança-> Satélites GPS]).2. Dê informações

  • SISC Livre

    SISC é um intérprete extensível baseado em Java do Esquema de linguagem algorítmica. O SISC usa técnicas modernas de interpretação, e supera de forma útil todos os intérpretes Java existentes (muitas vezes por mais de uma o

  • Druide DB : XML database API for java Livre

    DruideDB é um banco de dados incorporado (baseado em arquivos de mapeamento Objeto/XML) para aplicativos Java. Tanto o código-fonte (DAO) quanto a camada de persistência (mapeamento) são gerados. Este DB armazena tudo como st

  • LGTV embedded OS (douglas) Livre

    Esta é uma cópia das fontes oficiais que me foram fornecidas após solicitação de cumprimento gpl pela LG Electronics para o software no meu HDTV LCD 47LG70. Muitos têm problemas para obtê-los como LG. Inclui linux 2.6.10, mic

  • nppSmartEdit Livre

    O plugin nodepad++ é capaz de colocar suportes automáticos para que fosse fácil ler textos iniciais

  • log4j, fast and flexible java logging Livre

    log4j é uma ferramenta de depuração, escrita em Java, que registra declarações em um arquivo, um java.io.Writer ou um daemon syslog.