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

instalar:
=

Versiones:

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)

Mostrar todas las versiones (8 total)

dependencias de 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.2

Mostrar toda la cadena de dependencias

Propietarios:

Autores:

jarjuk

tla-sbuilder 0.2.1

Gemfile:
=

instalar:
=

Versiones:

dependencias de Runtime (5):

Propietarios:

Autores:

SHA 256 checksum:

Total de descargas 15.821

Para esta versión 2.890

Versión publicada:
May 18, 2016 11:02am

Licencia:
MIT

Versión de Ruby requerida: ~> 2

Enlace:

tla-sbuilder 0.2.1

Gemfile: =

instalar: =

Versiones:

dependencias de Runtime (5):

Propietarios:

Autores:

SHA 256 checksum:

Total de descargas 15.821

Para esta versión 2.890

Versión publicada: May 18, 2016 11:02am

Licencia: MIT

Versión de Ruby requerida: ~> 2

Enlace:

Gemfile:
=

instalar:
=

Versión publicada:
May 18, 2016 11:02am

Licencia:
MIT