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

显示所有传递性依赖

业主:

作者:

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