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
Categories
DesignLicense
BSD LicenseFollow A-Spec
Other Useful Business Software
Award-Winning Medical Office Software Designed for Your Specialty
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.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of A-Spec!