Submit Software
  1. Home
  2. Windows
  3. Other
  4. eTLA

eTLA 2.1.0

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes
Download

TLA+ Eclipse IDE plugin. Integration of formal definition language 'Temporal Logic of Actions' for specifying systems in Eclipse IDE

VERSION HISTORY

  • Version 2.1.0 posted on 2005-08-22
    Several fixes and updates
  • Version 2.1.0 posted on 2005-08-22

Program Details

Related Programs

  • TinyIDE MUSH Programming Tool Free

    The TinyIDE project is an attempt to create a new MUSH client for coders in TinyMUSH, PennMUSH, etc. This will feature code formatting, object browsing, and general MUSH client functionality.

  • Pesoguin Calendar free cartoon Free

    This is a calendar app of "Pesoguin", a popular character in Japan.You’ll find it a tool with full of entertainment.In this app you can enjoy personalization of it. ※ Pesoguin is an imaginary animal simila

  • Transparent skin Green Free Trial

    Skin for Better Keyboard and Smart Keyboard Pro.Useful to see what happens under the keyboard (like chat, command line, etc...).If you like or use this work, you can always buy me a beer : http://pp01.gdumoulin.eu .New : HD u

  • TubeMonitor Free Trial

    TubeMonitor is a widget that helps you to monitor the number of views for your videos on youtube. Only your username is required.You no longer have to visit youtube every now and then to get an updated view count of your vide

  • I'm Out! - Call interceptor Free

    Do you have a habit of forgetting your phone at home and worrying about if anybody is trying to call you? Or do you want to be able to leave your expensive Android phone at home while attending a messy outdoor activity, but s

  • DIG Interface Free

    XML schemas, XMLBeans, and Java implementation of the DIG interface-- a standardised XML interface to Description Logics systems developed by the DL Implementation Group (DIG).

  • Onemind common java library Free

    onemind-commons contains several java libraries: common-java: java datastructure/util library; relational-bean: an extension to java bean library for relational object model representation; invocation: an optimzable reflectio

  • UPSD Log Parser Free

    UPSD Log Parser (ulp) monitors the messages sent by upsd to syslogd. It extracts the data from these and inserts them into an RRD file, from where administrators can get graphs of the UPS status.

  • CamPainter Lite Free Trial

    CamPainter is a powerful finger painting software.1. Up to 1024x768 pixels canvas/w navigation icon2. Fast response and user friendly interface3. Hue/Saturation selection wheel4. Eyedropper: Pick up previously applied colors5

  • idyaDBX - SQL DBMS in PHP Free

    idyaDBX is a lightweight library written in PHP that implements an embeddable SQL database engine, with the raw data being stored as XML. PHP scripts can include idyaDBX as a header to handle their data using SQL, without the