As mentioned in the previous post on Fowlers DSL example,there are some tools available for the TLA+ specification language. In the following a short overview of currently available tools for TLA+ is given. The described tools are and are part of the TLA+ toolset available from the website. SANY – Syntax Analyser for TLA+ specifications […]
Browsing Posts in software engineering
It seems to be popular to write Fowler’s DSL in all languages. I follow this idea and start a series of posts on TLA+ with Fowlers state-machine example coded in TLA+. TLA+ is a specification language developed by Leslie Lamport. TLA+ is based on Temporal Logic of Actions, which combines logic of actions (denoting the […]
- Page 5 of 5
- Previous Page
- 1
- ...
- 3
- 4
- 5
Badges
