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

Project Activity

See All Activity >

Categories

Design

License

BSD License

Follow A-Spec

A-Spec Web Site

You Might Also Like
The #1 Embedded Analytics Solution for SaaS Teams. Icon
The #1 Embedded Analytics Solution for SaaS Teams.

Qrvey saves engineering teams time and money with a turnkey multi-tenant solution connecting your data warehouse to your SaaS application.

Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
Try Developer Playground
Rate This Project
Login To Rate This Project

User Reviews

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

Additional Project Details

Operating Systems

Linux, BSD

Languages

English

Intended Audience

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

User Interface

Console/Terminal, Command-line

Registered

2009-09-24