tla-sbuilder 0.1.0

A tool to generate runnable specification models in TLA+ language for business IT systems. Specification model can be verified using TLA+ Tools, and parts of it can be presented as implementation blueprints to developers.

Gemfile:
=

インストール:
=

バージョン履歴:

0.3.9 February 02, 2018 (131KB)
0.3.8 December 20, 2017 (131KB)
0.3.7 December 18, 2017 (131KB)
0.3.4 December 02, 2016 (127KB)
0.2.2 June 03, 2016 (85.5KB)
0.1.0 March 03, 2016 (76KB)

全てのバージョンを表示（全8件）

Runtime依存関係 (5):

hashie >= 3.3.2, ~> 3.3

json-schema >= 2.5.2, ~> 2.5

mustache >= 1.0.2, ~> 1.0

thor >= 0.19.1, ~> 0.19

tla-parser-s ~> 0.1

全ての推移的な依存関係を表示

所有者:

作者:

jarjuk

SHA 256チェックサム:

累計ダウンロード数 15,828

このバージョンのみ 3,068

このバージョンがリリースされたのは:
March 3, 2016 10:49am

ライセンス:
MIT

必要なRubyのバージョン: ~> 2

リンク:

ホームページドキュメントダウンロード差分をレビューバッジ RSS 悪用報告被依存関係