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

installieren:
=

Versionen:

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.1.0 March 03, 2016 (76 KB)

Zeige alle Versionen (8 total)

Runtime Abhängigkeiten (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

Alle transitiven Abhängigkeiten anzeigen

Besitzer:

Autoren:

jarjuk

SHA 256-Prüfsumme:

Downloads insgesamt 15.828

Für diese Version 3.068

Version veröffentlicht:
March 3, 2016 10:49am

Lizenz:
MIT

Erforderliche Ruby-Version: ~> 2

Links:

Homepage Dokumentation Download Review changes Abzeichen RSS Missbrauch melden Reverse dependencies