eTLA 2.1.0
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/etla/files/tla-tools/2.1.0/tla-tools_2.1.0.jar/download
Sobre eTLA
Plugin IDE do Eclipse TLA+. 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 Livre
O projeto TinyIDE é uma tentativa de criar um novo cliente MUSH para codificadores em TinyMUSH, PennMUSH, etc. Isso contará com formatação de código, navegação de objetos e funcionalidade geral do cliente MUSH.
-
Pesoguin Calendar free cartoon Livre
Este é um aplicativo de calendário de "Pesoguin", um personagem popular no Japão.YouȀ€™so encontrar uma ferramenta com cheio de entretenimento. Neste app você pode desfrutar da personalização dele. Pesoguin é um
-
Transparent skin Green Avaliação gratuita
Skin for Better Keyboard e Smart Keyboard Pro.Útil para ver o que acontece sob o teclado (como chat, linha de comando, etc...).Se você gosta ou usa este trabalho, você sempre pode me comprar uma cerveja : http://pp01.g
-
TubeMonitor Avaliação gratuita
TubeMonitor é um widget que ajuda você a monitorar o número de visualizações para seus vídeos no youtube. Apenas seu nome de usuário é necessário.Você não precisa mais visitar o youtube de vez em quando para obter uma con
-
I'm Out! - Call interceptor Livre
Você tem o hábito de esquecer seu telefone em casa e se preocupar se alguém está tentando te ligar? Ou você quer ser capaz de deixar seu telefone Android caro em casa enquanto assiste a uma atividade ao ar livre bagunçada, ma
-
DIG Interface Livre
Esquemas XML, XMLBeans e implementação Java da interface DIG-- uma interface XML padronizada para sistemas De Lógicas de Descrição desenvolvido pelo Grupo de Implementação de DL (DIG).
-
Onemind common java library Livre
onemind-commons contém várias bibliotecas java: common-java: java datastructure/util library; feijão relacional: uma extensão à biblioteca de feijão java para representação do modelo de objeto relacional; invocação: uma estru
-
UPSD Log Parser Livre
O UPSD Log Parser (ulp) monitora as mensagens enviadas pelo UPSD para syslogd. Ele extrai os dados deles e os insere em um arquivo RRD, de onde os administradores podem obter gráficos do status UPS.
-
CamPainter Lite Avaliação gratuita
CamPainter é um poderoso software de pintura de dedos.1. Ícone de navegação de tela/w de até 1024x7682. Resposta rápida e interface amigável3. Roda de seleção de matiz/saturação4. Conta-gotas: Pegue cores previament
-
idyaDBX - SQL DBMS in PHP Livre
idyaDBX é uma biblioteca leve escrita em PHP que implementa um mecanismo de banco de dados SQL incorporado, com os dados brutos sendo armazenados como XML. Os scripts PHP podem incluir idyaDBX como um cabeçalho para lidar com