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

Other Useful Business Software
Award-Winning Medical Office Software Designed for Your Specialty Icon
Award-Winning Medical Office Software Designed for Your Specialty

Succeed and scale your practice with cloud-based, data-backed, AI-powered healthcare software.

RXNT is an ambulatory healthcare technology pioneer that empowers medical practices and healthcare organizations to succeed and scale through innovative, data-backed, AI-powered software.
Learn More
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

BSD, Linux

Languages

English

Intended Audience

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

User Interface

Command-line, Console/Terminal

Registered

2009-09-24