Simon Zambrovski

"One Cannot Not Communicate" – Watzlawick

Browsing Posts tagged tla+

Blogging Culture

1 comment

Web technology and web design were and remain important subjects of my interest. Facing hundreds of horrible-designed pages and my many different interests fostered the creation of many different web pages, for which I played a role of a web designer, a system administrator or a hosting provider. One of the reasons for that, was […]

Tools for TLA+

3 comments

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 […]

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 […]