a spec online with Winfy

We have hosted the application a spec in order to run this application in our online workstations with Wine or directly.

Quick description about a spec:

A design specification language based upon Z Notation and CSP.

Features:

• CSP Notation
• Z Notation
• LaTeX Output
• XML Syntax Tree Output
• GraphViz Syntax Tree Output

Audience: Science/Research, Education, Telecommunications Industry, Developers, Engineering.
User interface: Console/Terminal, Command-line.
.