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 published in February, 2009
Wrote a picture review on the digitalexperiment.de about a good picture taken by a friend. As usual for that site, it is written in German and discusses the issues of a macro shots. I try to provide some hints about this kinds of pictures. Especially, the usage of too wide-opened aperture leads not only the [...]
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 [...]
