Bogor-PubSub 0.1
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/loupe/files/bogor-pubsub/loupe-0.1/loupe-0.1.zip/download
Sobre Bogor-PubSub
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.
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.