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

Bogor-PubSub 0.1

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

Bogor-PubSub é um conjunto de extensões ao verificador de modelos Bogor que permite uma verificação precisa e automática das infraestruturas de Subscrição.

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

    Este projeto é composto por uma aplicação de design baseada em janelas e uma biblioteca (que pode funcionar em várias plataformas, incluindo android) juntamente com várias aplicações de demonstração (incluindo um cliente de c

  • HRMEdit Grátis

    Aplicação para visualização e especialmente edição de ficheiros HRM gerados por Polar Heart Rate Monitors (por exemplo, S720i, S725X, S625X). Fornece um GUI para encontrar erros e corrigir manualmente amostras.

  • MSLK Grátis

    A MSLK fornece os binários Win32 pré-compensados de alguns excelentes porjectos com uma licença GPL ou código aberto semelhante. Aqui vai manter-se atualizado.

  • phpMySetiStats Grátis

    phpMySetiStats é uma ferramenta para exibir SETI@home estatísticas de processos de execução e estatísticas pessoais de Berkeley. Usa o MySQL com costas. Crontab também é recomendado.

  • MbLoc Locator Grátis

    Funcionalidades de software:1. Posicionamento nas estações base do operador móvel, bem como GPS (Se esta função estiver ativada no seu telefone [Definições-> Localização e segurança-> e Satélites GPS]).2. Forneça informa

  • SISC Grátis

    SISC é um intérprete extensível baseado em Java do esquema de linguagem algorítmica. O SISC utiliza técnicas de interpretação modernas, e supera convenientemente todos os intérpretes java existentes (muitas vezes por mais d

  • Druide DB : XML database API for java Grátis

    DruideDB é uma base de dados incorporada (baseada em ficheiros de mapeamento Object/XML) para aplicações Java. É gerado o código-fonte (DAO) e a camada de persistência (mapeamento). Este DB armazena tudo como cordas e manusea

  • LGTV embedded OS (douglas) Grátis

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

  • nppSmartEdit Grátis

    O plugin nodepad++ é capaz de colocar automaticamente suportes para que seja fácil ler textos iniciais

  • log4j, fast and flexible java logging Grátis

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