Enviar software
  1. Casa
  2. Windows
  3. Outros
  4. eTLA

eTLA 2.1.0

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

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

história da versão

  • Versão 2.1.0 postado em 2005-08-22
    Várias correções e atualizações
  • Versão 2.1.0 postado em 2005-08-22

Detalhes do programa

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