A-Spec

beta
Add a Review
2 Downloads (This Week)
Last Update:
Download a-spec.V0.6.1a.tar.gz
Browse All Files
BSD Linux

Description

A design specification language based upon Z Notation and CSP.

A-Spec Web Site

Categories

Design

License

BSD License

Features

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

Update Notifications





Write a Review

User Reviews

Be the first to post a review of A-Spec!

Additional Project Details

Languages

English

Intended Audience

Developers, Education, Engineering, Science/Research, Telecommunications Industry

User Interface

Command-line, Console/Terminal

Registered

2009-09-24
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.