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

Installeer:
=

Versies:

0.3.9 February 02, 2018 (131 KB)
0.3.8 December 20, 2017 (131 KB)
0.3.7 December 18, 2017 (131 KB)
0.3.4 December 02, 2016 (127 KB)
0.2.2 June 03, 2016 (85,5 KB)
0.2.1 May 18, 2016 (85,5 KB)

Toon alle versies (8 totaal)

Runtime afhankelijkheden (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

Eigenaren:

Authors:

jarjuk

tla-sbuilder 0.2.1

Gemfile:
=

Installeer:
=

Versies:

Runtime afhankelijkheden (5):

Eigenaren:

Authors:

SHA 256 checksum:

Total downloads 15.828

Voor deze versie 2.891

Versie vrijgegeven:
May 18, 2016 11:02am

Licentie:
MIT

Required Ruby Version: ~> 2

Links:

tla-sbuilder 0.2.1

Gemfile: =

Installeer: =

Versies:

Runtime afhankelijkheden (5):

Eigenaren:

Authors:

SHA 256 checksum:

Total downloads 15.828

Voor deze versie 2.891

Versie vrijgegeven: May 18, 2016 11:02am

Licentie: MIT

Required Ruby Version: ~> 2

Links:

Gemfile:
=

Installeer:
=

Versie vrijgegeven:
May 18, 2016 11:02am

Licentie:
MIT