RubyGems Navigation menu

tla-sbuilder 0.3.9

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:
=

安装:
=

版本列表:

  1. 0.3.9 February 02, 2018 (131.0 KB)
  2. 0.3.8 December 20, 2017 (131.0 KB)
  3. 0.3.7 December 18, 2017 (130.5 KB)
  4. 0.3.4 December 02, 2016 (127.0 KB)
  5. 0.2.2 June 03, 2016 (85.5 KB)
显示所有版本 (共 8 个)

Runtime 依赖 (5):

hashie >= 3.3.2, ~> 3.3
json-schema >= 2.5.2, ~> 2.5
mustache >= 1.0.3, ~> 1.0
thor >= 0.19.1, ~> 0.19
tla-parser-s >= 0.2.2, ~> 0.2

业主:

作者:

  • jarjuk

SHA 256 校验和:

=

下载总量 15,767

这个版本 2,236

版本发布:

许可:

MIT

需要的 Ruby 版本: >= 2.3.1, ~> 2

链接: