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
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of A-Spec!