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

instalar:
=

Versões:

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)

Mostrar todas as versões (8)

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

Mostrar todas as dependências

Donos:

Autores:

jarjuk

tla-sbuilder 0.1.0

Gemfile:
=

instalar:
=

Versões:

Runtime Dependencies (5):

Donos:

Autores:

SHA 256 checksum:

Total de downloads 15.828

Desta versão 3.068

Versão lançada:
March 3, 2016 10:49am

Licença:
MIT

Versão Requerida do Ruby: ~> 2

Links:

tla-sbuilder 0.1.0

Gemfile: =

instalar: =

Versões:

Runtime Dependencies (5):

Donos:

Autores:

SHA 256 checksum:

Total de downloads 15.828

Desta versão 3.068

Versão lançada: March 3, 2016 10:49am

Licença: MIT

Versão Requerida do Ruby: ~> 2

Links:

Gemfile:
=

instalar:
=

Versão lançada:
March 3, 2016 10:49am

Licença:
MIT