tla-sbuilder 0.2.1

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 (131.0 KB)
0.3.8 December 20, 2017 (131.0 KB)
0.3.7 December 18, 2017 (130.5 KB)
0.3.4 December 02, 2016 (127.0 KB)
0.2.2 June 03, 2016 (85.5 KB)
0.2.1 May 18, 2016 (85.5 KB)

顯示所有版本（共 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.2

Show all transitive dependencies

擁有者:

作者:

jarjuk

tla-sbuilder 0.2.1

Gemfile:
=

安裝:
=

版本列表:

Runtime 相依性套件 (5):

擁有者:

作者:

SHA 256 總和檢查碼:

總下載次數 15,838

這個版本 2,892

版本发布:
May 18, 2016 11:02am

授權:
MIT

Ruby 版本需求: ~> 2

相關連結:

tla-sbuilder 0.2.1

Gemfile: =

安裝: =

版本列表:

Runtime 相依性套件 (5):

擁有者:

作者:

SHA 256 總和檢查碼:

總下載次數 15,838

這個版本 2,892

版本发布: May 18, 2016 11:02am

授權: MIT

Ruby 版本需求: ~> 2

相關連結:

Gemfile:
=

安裝:
=

版本发布:
May 18, 2016 11:02am

授權:
MIT