Simon Zambrovski

"One Cannot Not Communicate" – Watzlawick

Browsing Posts in tools

Just finished to correct mistakes (thanks to Francis) in the article I posted about the usage of the Common Navigator Framework (CNF). In doing so the article incorporates the information already covered in different blogs, but also focuses on the specific use case of providing a view of data structure completely unrelated to the Eclipse [...]

Eclipse Platform provides a help system that can be used during creation of the help content for your application. It is very convenient while used inside of the IDE, but needs a special approach if used in the RCP. This article tries to gather the information which may be useful. You can find more on [...]

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

Technology Blogs - BlogCatalog Blog Directory Blog Blog Flux Directory