eTLA 2.1.0
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/etla/files/tla-tools/2.1.0/tla-tools_2.1.0.jar/download
に関しては eTLA
TLA+ Eclipse IDE プラグイン。Eclipse IDEでシステムを指定するための形式定義言語「アクションの時間的論理」の統合
関連プログラム
-
TinyIDE MUSH Programming Tool 無料
TinyIDEプロジェクトは、タイニーMUSH、ペンマスフなどのコーダーのための新しいMUSHクライアントを作成する試みです。 これには、コードの書式設定、オブジェクトの参照、および MUSH クライアントの一般的な機能が含まれます。
-
Pesoguin Calendar free cartoon 無料
これは、日本で人気のあるキャラクターである"Pesoguin"のカレンダーアプリ™です。このアプリでは、それのパーソナライゼーションを楽しむことができます。ペソギンは、皇帝ペンギンの赤ちゃんに似た想像上の動物で、とてもかわいいですし、インターネット、PC、携帯電話で生活しています。 彼はあなたの心をリラックスします。 彼にはかわいいガールフレンドがいます。 彼らは日本の4フレームの漫画のストリップブックに登場します。 ペソギン
-
Transparent skin Green 無料トライアル
より良いキーボードとスマートキーボードプロのためのスキン。キーボードの下で何が起こるかを確認するのに役立ちます (チャット、コマンドラインなど)。あなたが好きか、この作品を使用する場合は、いつでも私にビールを買うことができます:http://pp01.gdumoulin.eu.新しい : HD アップデート
-
TubeMonitor 無料トライアル
TubeMonitor は、YouTube での動画の視聴回数を監視するのに役立つウィジェットです。ユーザー名のみが必要です。あなたは今、あなたのビデオの更新されたビュー数を取得するために、すべての今、YouTubeを訪問する必要はありません。ウィジェットをタップすると、すべての動画が表示されます。*マイナーなバグ修正
-
I'm Out! - Call interceptor 無料
自宅で携帯電話を忘れて、誰かがあなたに電話しようとしているかどうかを心配する習慣がありますか?それとも、乱雑な屋外活動に出席しながら自宅であなたの高価なAndroid携帯電話を残すことができるようにしたいが、誰かがあなたを呼び出すとき、まだ知っていますか?その後、私は外出しています!あなたのためです。私が外出しているとき!は、任意の着信を傍受し、近くの家族の邪魔をしないようにミュートし、必要に応じて、電話を取ることができない理由を説明する発信者に
-
DIG Interface 無料
XML スキーマ、XMLBean、および JAVA 実装による DIG インターフェース-- 記述ロジックシステムへの標準化されたXMLインタフェースDL 実装グループ (DIG) によって開発されました。
-
Onemind common java library 無料
onemind-commons には、いくつかの Java ライブラリが含まれています: 共通 Java: Java データ構造/util ライブラリ。リレーショナル Bean: リレーショナル オブジェクト モデル表現用の Java Bean ライブラリの拡張。呼び出し: オプティム化可能なリフレクション・ラッパー・フレームワーク
-
UPSD Log Parser 無料
UPSD ログ パーサー (ulp) は、upsd によって syslogd に送信されたメッセージを監視します。これらのデータを抽出し、RRD ファイルに挿入し、管理者が UPS ステータスのグラフを取得できます。
-
CamPainter Lite 無料トライアル
カムペインターは強力な指の絵画ソフトウェアです。1. 最大 1024x768 ピクセルのキャンバス/w ナビゲーション アイコン2.高速応答とユーザーフレンドリーなインターフェイス3. 色相/彩度選択ホイール4.スポイト:以前に適用された色を拾う5. ズームイン/アウト6. 無制限の元に戻す/やり直し7. カメラまたはギャラリーから写真をインポート8. 輸出/共有
-
idyaDBX - SQL DBMS in PHP 無料
idyaDBX は、埋め込み可能な SQL データベースエンジンを実装する PHP で書かれた軽量ライブラリで、生データは XML として格納されます。PHP スクリプトは、外部 DBMS を必要とせずに、SQL を使用してデータを処理するためのヘッダーとして idyaDBX を含めることができます。