A-Spec

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 >

License

BSD License

Follow A-Spec

A-Spec Web Site

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

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

Similar Business Software

Creatio

Creatio is an AI CRM and workflow platform where people and AI agents work together — with no limits on users, agents, workflows, or scale. Built for midsize and large organizations, it combines best-in-class CRM across sales, marketing, and service with an AI-native, no-code engine that lets...

See Software
Retool

Retool is the AI-native enterprise app development platform where teams build and ship production-ready apps — at AI speed, with enterprise governance built in. Describe what you need and get a working app, import React-based apps from Lovable, Replit, or Claude Code, or connect your AI agent...

See Software
Appenate

Reduce Paper-Based Work With Our Drag-n-Drop App Builder. Create Data-Driven Apps That Empower Your Business. Mobile & Desktop. No Coding Required. A no-code platform for creating data-driven apps to replace paper forms across all industries. Use our versatile drag-n-drop software to...

See Software
Miro

Keep your team's minds in sync with Miro (formerly RealtimeBoard and AWW app). A virtual whiteboard and remote collaboration tool, Miro helps cross-functional teams work more efficiently together to build great things. The platform allows teams to ideate, visualize, and share ideas without any...

See Software
Lunacy

Lunacy is a vector graphic software for UI/UX and web design. It's faster than Figma, smarter than Sketch! Key features: * FREE for personal and commercial use * Runs on Windows, macOS, and Linux * WORKS ONLINE AND OFFLINE You can work both with cloud and local documents. It's up to...

See Software
Sketch

The best products start with Sketch. Create, prototype, collaborate and turn your ideas into incredible products with the definitive platform for digital design. A native Mac app, built for designers like you Create your best work with essential tools that speed up your workflow and...

See Software