tla-sbuilder 0.3.9
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:
=
复制到剪贴板
已复制！
安装:
=
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
业主:
作者:
-
jarjuk
SHA 256 校验和:
856caf44f3db1be469dcbb2fc6361c6fd3a6aca88b7e469923abf6aed2ca4cf4