A design specification language based upon Z Notation and CSP.


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

Project Activity

See All Activity >




BSD License

Follow A-Spec

A-Spec Web Site

Other Useful Business Software

One Backup & Disaster Recovery Solution for Any Need One Backup & Disaster Recovery Solution for Any Need Icon
One Backup & Disaster Recovery Solution for Any Need Icon

SherWeb Online Backup Is Your Easy Solution for Cloud & Local Backups. The App Is Free, Pay Only for the Cloud Data Storage.

With the diversity of IT solutions used, managing backup and disaster recovery can turn very complex for a business. SherWeb Online Backup simplifies everything. You back up servers, desktops, virtual machines and smart devices, plus popular applications and Office 365 data – all from a single web-based console. Active Protection, the embedded anti-ransomware feature, adds a security layer while the Cloud-to-Cloud feature saves network bandwidth.

Rate This Project

Login To Rate This Project

User Reviews

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

Additional Project Details



Intended Audience

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

User Interface

Console/Terminal, Command-line