tla-sbuilder 0.3.4

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

installation:
=

Versions:

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

Voir toutes les versions (8)

Dépendances de 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

Show all transitive dependencies

Propriétaires:

Auteurs:

jarjuk

Total de contrôle SHA 256:

Total de téléchargements 15 821

Pour cette version 1 997

Version publiée:
December 2, 2016 10:17am

License:
MIT

Version de Ruby requise: ~> 2

Liens:

Page d'accueil Documentation Télécharger Review changes Badge RSS Signaler un abus Reverse dependencies