eTLA 2.1.0
Poderá descarregar em 5 segundos.
Também pode clicar no seguinte Link de descarregamento externo para começar a descarregar:
http://sourceforge.net/projects/etla/files/tla-tools/2.1.0/tla-tools_2.1.0.jar/download
Sobre eTLA
Plugin TLA+ Eclipse IDE. Integração da linguagem de definição formal 'Lógica temporal de ações' para especificar sistemas no Eclipse IDE
Programas Relacionados
-
TinyIDE MUSH Programming Tool Grátis
O projeto TinyIDE é uma tentativa de criar um novo cliente MUSH para codificadores em TinyMUSH, PennMUSH, etc. Isto contará com formatação de código, navegação de objetos e funcionalidade geral do cliente MUSH.
-
Pesoguin Calendar free cartoon Grátis
Esta é uma aplicação de calendário de "Pesoguin", um personagem popular no Japão.You¢Â€Â™ vai encontrá™a uma ferramenta cheia de entretenimento. Nesta aplicação pode usufruir de personalização da mesmo. Pesoguin é u
-
Transparent skin Green Julgamento Gratuito
Skin for Better Keyboard e Smart Keyboard Pro.Útil para ver o que acontece debaixo do teclado (como chat, linha de comando, etc...).Se quiser ou usar este trabalho, pode sempre pagar-me uma cerveja: http://pp01.gdumoul
-
TubeMonitor Julgamento Gratuito
TubeMonitor é um widget que o ajuda a monitorizar o número de visualizações dos seus vídeos no youtube. Apenas o seu nome de utilizador é necessário.Já não precisa de visitar o youtube de vez em quando para obter uma cont
-
I'm Out! - Call interceptor Grátis
Tem o hábito de esquecer o telemóvel em casa e preocupar-se se alguém está a tentar ligar-lhe? Ou quer deixar o seu dispendioso telefone Android em casa enquanto assiste a uma atividade ao ar livre desarrumada, mas ainda sabe
-
DIG Interface Grátis
Esquemas XML, XMLBeans e Implementação java da interface DIG-- uma interface XML padronizada para sistemas Desemcrôs lógicas desenvolvido pelo Grupo de Implementação DL (DIG).
-
Onemind common java library Grátis
onemind-commons contém várias bibliotecas java: common-java: java datastructure/util library; razão relacional: uma extensão à biblioteca de feijão java para representação do modelo de objeto relacional; invocação: uma estrut
-
UPSD Log Parser Grátis
O UPSD Log Parser (ulp) monitoriza as mensagens enviadas por upsd para syslogd. Extrai os dados destes e insere-os num ficheiro RRD, de onde os administradores podem obter gráficos do estado da UPS.
-
CamPainter Lite Julgamento Gratuito
CamPainter é um poderoso software de pintura de dedos.1. Até 1024x768 pixels tela/w ícone de navegação2. Resposta rápida e interface amigável3. Roda de seleção de matiz/saturação4. Conta-gotas: Recolha de cores apli
-
idyaDBX - SQL DBMS in PHP Grátis
IdyaDBX é uma biblioteca leve escrita em PHP que implementa um motor de base de dados SQL incorporado, com os dados brutos sendo armazenados como XML. Os scripts PHP podem incluir o idyaDBX como cabeçalho para lidar com os se