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 (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.1.0 March 03, 2016 (76.0 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

Show all transitive dependencies

擁有者:

作者:

jarjuk

tla-sbuilder 0.1.0

Gemfile:
=

安裝:
=

版本列表:

Runtime 相依性套件 (5):

擁有者:

作者:

SHA 256 總和檢查碼:

總下載次數 15,828

這個版本 3,068

版本发布:
March 3, 2016 10:49am

授權:
MIT

Ruby 版本需求: ~> 2

相關連結:

tla-sbuilder 0.1.0

Gemfile: =

安裝: =

版本列表:

Runtime 相依性套件 (5):

擁有者:

作者:

SHA 256 總和檢查碼:

總下載次數 15,828

這個版本 3,068

版本发布: March 3, 2016 10:49am

授權: MIT

Ruby 版本需求: ~> 2

相關連結:

Gemfile:
=

安裝:
=

版本发布:
March 3, 2016 10:49am

授權:
MIT